instance_of (OBO_REL_I:0000023)

A relation between an instance and a class/type. 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 source: PMID:15892874

The instance_of relationship is considered axiomatic by the obo file format specification; ie it is taken for granted. The is_a relation is still included in this ontology for completeness

Examples

Other relations

This relation has no inverse relations declared

id OBO_REL_I:0000023
name instance_of
properties
    aliases
      anti_symmetric
      holds_between
      reflexive
      symmetric
      transitive
      all_some_in_reference_context
      example
      text_definition A relation between an instance and a class/type. 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
      text_definition_xref PMID:15892874

      Axioms for this relation:

      axiom Axiom: occurrents (processes, stages, etc) atemporally instantiate types
      axiom Axiom: continuants temporally instantiate types

      Axioms that refer to this relation:

      axiom Axiom: C transformation_of C' defined as: if c instantiates C at t, then it must be the case there is some earlier time such that c instantiates C' at that time, and there is no time where c instantiates both C and C'
      axiom Axiom: something exists at a time iff it is an instance of something at that time
      axiom Axiom: p has_duration y iff p is an occurrent, and for any t such that t is bound by the start and end of p, it is the case that p occurs_at t, and y is the interval with those boundaries
      axiom
      axiom
      axiom Axiom: ; http://www.acsu.buffalo.edu/~bittner3/Theories/BFO/Instantiation.html; lemma Inst_IsA_rule: [instantiation]; process instantiation: binary
      axiom
      axiom