Terminology Service for NFDI4Health

independent continuant

Go to external page http://purl.obolibrary.org/obo/BFO_0000004


b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002]) [ http://purl.obolibrary.org/obo/bfo/axiom/017-002 ]

Term info

Label

independent continuant

BFO CLIF specification label

IndependentContinuant

example of usage

the bottom right portion of a human torso, an atom, an orchestra., a heart, the interior of your mouth, a leg, a molecule, a spatial region, a chair, an organism

has associated axiom(fol)

(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] , (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] , (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]

has associated axiom(nl)

For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001]), For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])

imported from

http://purl.obolibrary.org/obo/agro.owl, http://purl.obolibrary.org/obo/obi.owl, http://purl.obolibrary.org/obo/envo.owl, http://purl.obolibrary.org/obo/ro.owl, http://purl.obolibrary.org/obo/dron.owl, http://purl.obolibrary.org/obo/po.owl, http://purl.obolibrary.org/obo/bfo.owl

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

Term relations