Property:OBO REL:is a
From Species-ID
Definitions and properties of term is a (term identifier: is_a):
| Label: | is a (OBO Relation Ontology) |
| Definition: | 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'. |
| Remarks: |
The is_a relationship is considered axiomatic by the obo file format specification. In the representation of obo in OWL, where obo terms are represented as OWL classes, is_a is mapped on to the subClassOf axiom |
 Imported from: OBO_REL:is_a (documentation) | |
 Categories: Property used in ontologies • Relation OntologyRDF feed | |
