Ontologies Classes Object Properties Data Properties Annotation Properties Individuals Datatypes Clouds

Class: 'realizable entity'

Annotations (16)

  • 'BFO OWL specification label' "realizable"
  • 'BFO CLIF specification label' "RealizableEntity"
  • 'example of usage' "the disposition of this piece of metal to conduct electricity." @en
  • 'example of usage' "the disposition of your blood to coagulate" @en
  • 'example of usage' "the function of your reproductive organs" @en
  • 'example of usage' "the role of being a doctor" @en
  • 'example of usage' "the role of this boundary to delineate where Utah and Colorado meet" @en
  • definition "A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances." @en
  • elucidation "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])" @en
  • 'has associated axiom(nl)' "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])" @en
  • 'has associated axiom(fol)' "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] "
  • 'has associated axiom(fol)' "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] "
  • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/058-002
  • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/060-002
  • rdfs:isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
  • rdfs:label "realizable entity" @en

Superclasses (1)

Disjoints (2)

'realizable entity', quality

Usage (2)

OWL HTML inside