An ontology of core relations for use by OBO Foundry ontologies.

Download: [ obo [C]] [ obo [I]] [ kif] [ obo] [ owl] [ prover9] :: See formats
Types Types : Summary Table
OBO Relations : Type level relations : Summary Table
relation transitive symmetric anti_symmetric reflexive holds_between
is_a + + +
part_of + + +
integral_part_of + + +
has_integral_part + + +
proper_part_of +
located_in + +
contained_in
contains
adjacent_to
transformation_of +
derives_from +
preceded_by +
has_participant
has_agent
inheres_in
quality_of
function_of
role_of
realized_by
occurs_in_some
overlaps +
relation transitive symmetric anti_symmetric reflexive holds_between
OBO Relations : Instance level relations : Summary Table
relation transitive symmetric anti_symmetric reflexive holds_between
part_of + + + continuant and continuant temporal occurrent and occurrent atemporal
proper_part_of +
located_in + + continuant and independent_continuant
contained_in independent_continuant and independent_continuant
adjacent_to + independent_continuant and independent_continuant
derives_from + continuant and continuant
preceded_by + occurrent and occurrent
precedes + occurrent and occurrent
has_participant occurrent and continuant temporal
has_agent
instance_of
inheres_in dependent_continuant and entity temporal
quality_of quality and
function_of function and independent_continuant
role_of role and independent_continuant
realized_by realizable_entity and process
exists_at continuant and temporal_instant
occurs_at occurrent and temporal_instant
first_instant_of
last_instant_of
immediately_preceded_by
has_duration occurrent and temporal_interval
occurs_in
overlaps + + independent_continuant and independent_continuant
partially_overlaps independent_continuant and independent_continuant
underlaps + + independent_continuant and independent_continuant
earlier_than + temporal_instant and temporal_instant
relation transitive symmetric anti_symmetric reflexive holds_between

obo

Both class and instance level relations are available in .obo format

Importing RO into your ontology: INSTRUCTIONS HERE

kif

The RO is expressed as first-order logic axioms. These are currently expressed using a subset of FOL using the KIF syntax. Eventually this will be replaced with CLIF/CL-XML.

owl

ro.owl Only the instance level relations are converted to OWL. This ontology imports the OWL version of BFO.

prover9

Prover9 formulae are generated directly from the KIF axioms. Some axioms are expanded such that they can be used with Prover9/Mace4. For example 

(symmetric overlaps)
is expanded to 
overlaps(x,y) -> overlaps(y,x)
TEST FILES HERE

Relation Details

Note both class and instance level relations are listed here for completeness