# Property:Label of ontology relation

From Species-ID

This is a property of type String. See also.

Label | Corresponding property page | Definition |
---|---|---|

Label of ontology relation | ||

part of | OBO REL:part of | For continuants: C part_of C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c part_of c' at t. For processes: P part_of P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p part_of p' at t. (Here part_of is the instance-level part-relation.) |

adjacent to | OBO REL:adjacent to | C adjacent_to C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c and c' are in spatial proximity |

has broader match | Skos:broadMatch | skos:broadMatch is used to state a hierarchical mapping link between two conceptual resources in different concept schemes. |

has close match | Skos:closeMatch | skos:closeMatch is used to link two concepts that are sufficiently similar that they can be used interchangeably in some information retrieval applications. In order to avoid the possibility of “compound errors” when combining mappings across more than two concept schemes, skos:closeMatch is not declared to be a transitive property. |

contained in | OBO REL:contained in | C contained_in C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.) |

derives from | OBO REL:derives from | Derivation on the instance level (derives_from) holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. We say that one class C derives_from class C' if instances of C are connected to instances of C' via some chain of instance-level derivation relations. Formally: C derives_immediately_from C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' earlier-than t and c derives_from c'. C derives_from C' if and only if: there is an chain of immediate derivation relations connecting C to C'. |

has exact match | Skos:exactMatch | skos:exactMatch is used to link two concepts, indicating a high degree of confidence that the concepts can be used interchangeably across a wide range of information retrieval applications. skos:exactMatch is a transitive property, and is a sub-property of skos:closeMatch. |

has agent | OBO REL:has agent | As for has_participant, but with the additional condition that the component instance is causally active in the relevant process. |

has participant | OBO REL:has participant | P has_participant C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t. |

instance of | OBO REL:instance of | A relation between an instance and a class. For components: a primitive relation between a component instance and a class which it instantiates at a specific time. For processes: a primitive relation, between a process instance and a class which it instantiates, holding independently of time. |

integral part of | OBO REL:integral part of | C integral_part_of C' if and only if: C part_of C' AND C' has_part C |

is a | OBO REL:is a | For continuants: C is_a C' if and only if: given any c that instantiates C at a time t, c instantiates C' at t. For processes: P is_a P' if and only if: that given any p that instantiates P, then p instantiates P'. |

located in | OBO REL:located in | C located_in C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_in c'. (Here located_in is the instance-level location relation.) |

is in mapping relation with | Skos:mappingRelation | Relates two concepts coming, by convention, from different schemes, and that have comparable meanings |

has narrower match | Skos:narrowMatch | skos:narrowMatch is used to state a hierarchical mapping link between two conceptual resources in different concept schemes. |

preceded by | OBO REL:preceded by | P preceded_by P' if and only if: given any process p that instantiates P at a time t, there is some process p' such that p' instantiates P' at time t', and t' is earlier than t. |

proper part of | OBO REL:proper part of | As for part_of, with the additional constraint that subject and object are distinct. |

has related match | Skos:relatedMatch | skos:relatedMatch is used to state an associative mapping link between two conceptual resources in different concept schemes. |

transformation of | OBO REL:transformation of | Relation between two classes, in which instances retain their identity yet change their classification by virtue of some kind of transformation. Formally: C transformation_of C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' earlier t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2. |

## Pages using the property "Label of ontology relation"

Showing 19 pages using this property.

## O | |
---|---|

OBO REL:part of + | part of + |

## a | |

OBO REL:adjacent to + | adjacent to + |

## b | |

Skos:broadMatch + | has broader match + |

## c | |

Skos:closeMatch + | has close match + |

OBO REL:contained in + | contained in + |

## d | |

OBO REL:derives from + | derives from + |

## e | |

Skos:exactMatch + | has exact match + |

## h | |

OBO REL:has agent + | has agent + |

OBO REL:has participant + | has participant + |

## i | |

OBO REL:instance of + | instance of + |

OBO REL:integral part of + | integral part of + |

OBO REL:is a + | is a + |

## l | |

OBO REL:located in + | located in + |

## m | |

Skos:mappingRelation + | is in mapping relation with + |

## n | |

Skos:narrowMatch + | has narrower match + |

## p | |

OBO REL:preceded by + | preceded by + |

OBO REL:proper part of + | proper part of + |

## r | |

Skos:relatedMatch + | has related match + |

## t | |

OBO REL:transformation of + | transformation of + |