Class: 'independent continuant'
Annotations (24)
- 'BFO OWL specification label' "ic"
- 'BFO CLIF specification label' "IndependentContinuant"
- 'example of usage' "a chair" @en
- 'example of usage' "a heart" @en
- 'example of usage' "a leg" @en
- 'example of usage' "a molecule" @en
- 'example of usage' "a spatial region" @en
- 'example of usage' "an atom" @en
- 'example of usage' "an orchestra." @en
- 'example of usage' "an organism" @en
- 'example of usage' "the bottom right portion of a human torso" @en
- 'example of usage' "the interior of your mouth" @en
- definition "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything." @en
- 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])" @en
- '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])" @en
- 'has associated axiom(nl)' "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])" @en
- 'has associated axiom(fol)' "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] "
- 'has associated axiom(fol)' "(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(fol)' "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] "
- 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/017-002
- 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/018-002
- 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/134-001
- rdfs:isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
- rdfs:label "independent continuant" @en
Superclasses (1)
Disjoints (3)
Usage (8)
- 'has function' Domain 'independent continuant'
- 'has role' Domain 'independent continuant'
- 'has disposition' Domain 'independent continuant'
- 'located in' Domain 'independent continuant'
- 'editor note' "This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation."
- 'located in' Domain (
'independent continuant' and
not 'spatial region') - 'occurs in' Range 'independent continuant'
- 'located in' Range 'independent continuant'
- 'editor note' "This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation."
- 'located in' Range (
'independent continuant' and
not 'spatial region')