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 ]
This is just here as a test because I lose it
Term information
BFO 0000179
- ic
BFO 0000180
- IndependentContinuant
IAO 0000601
- 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])
IAO 0000602
- (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
- (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 (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
definition
- 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])
- A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
example of usage
- an organism
- a heart
- a chair
- a molecule
- a leg
- an atom
- the interior of your mouth
- the bottom right portion of a human torso
- a spatial region
- an orchestra.
isDefinedBy
- http://purl.obolibrary.org/obo/bfo.owl
Term relations
Subclass of: