Property:Label of ontology relation

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  +