Link to this page
Toxic Process Ontology
Last uploaded:
December 6, 2022
Jump to:
Id | http://purl.obolibrary.org/obo/BFO_0000017
http://purl.obolibrary.org/obo/BFO_0000017
|
---|---|
Preferred Name | realizable entity |
Type | http://www.w3.org/2002/07/owl#Class |
All Properties
prefLabel |
realizable entity
|
---|---|
label |
realizable entity
|
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]
(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 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])
|
isDefinedBy | |
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])
|
prefixIRI |
BFO:0000017
|
subClassOf | |
type | |
example of usage |
the disposition of your blood to coagulate
the role of this boundary to delineate where Utah and Colorado meet
the role of being a doctor
the disposition of this piece of metal to conduct electricity.
the function of your reproductive organs
|
disjointWith |
Add comment
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |