Browse wiki
| Property:OBO REL:part of |
| Definition |
For continuants: C ''[[part_of]]'' C' if a … 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.) ]]'' is the instance-level part-relation.) +
|
|---|---|
| Label | part of + |
| Label of ontology relation | part of + |
| Vocabulary collection | OBO Relation Ontology + |
| Imported from "Imported from" is a predefined property that describes a relation to an imported vocabulary.
|
The given value was not understood.
|
| Categories | Term in OBO Relation Ontology , Property used in ontologies , Relation Ontology |
| Modification date This property is a special property in this wiki.
|
13 October 2011 15:15:30 + |
| hide properties that link here |
| Part of + | redirect page |
|---|
