Property:OBO REL:is a

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