Property:OBO REL:is a

From Species-ID
Jump to: navigation, search

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'.

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 vocabulary  Imported from: OBO_REL:is_a (documentation)
Category  Categories: Property used in ontologiesRelation OntologyRDF feed