independent continuant
Class
http://purl.obolibrary.org/obo/BFO_0000004
Class Hierarchy
- Thing
- ↳ entity (bfo)
- ↳ continuant (bfo)
- ↳ independent continuant
- ↳ immaterial entity
- ↳ material entity
- ↳ material entity (proethica-foundation)
Properties
Disjoint with
generically dependent continuant, specifically dependent continuant
From
owl:disjointWith and owl:AllDisjointClasses membership; the listed classes are pairwise disjoint with this one.Subclasses 2
Used in cases 22
Case ontologies that instantiate this class or one of its base-ontology descendants. Computed from each individual's type, so the list stays current as cases are extracted. The originating case is shown under Extraction details.
Case 4 Case 5 Case 6 Case 7 Case 8 Case 9 Case 10 Case 14 Case 15 Case 16 Case 20 Case 56 Case 57 Case 58 Case 59 Case 71 Case 76 Case 85 Case 86 Case 103 Case 120 Case 121@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
obo:BFO_0000004 a owl:Class ;
rdfs:label "independent continuant"@en ;
obo:BFO_0000179 "ic" ;
obo:BFO_0000180 "IndependentContinuant" ;
obo:IAO_0000112 "a chair"@en,
"a heart"@en,
"a leg"@en,
"a molecule"@en,
"a spatial region"@en,
"an atom"@en,
"an orchestra."@en,
"an organism"@en,
"the bottom right portion of a human torso"@en,
"the interior of your mouth"@en ;
obo:IAO_0000115 "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 ;
obo: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])"@en,
"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 ;
obo:IAO_0000602 "(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] ",
"(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ;
rdfs:isDefinedBy obo:bfo.owl ;
rdfs:subClassOf obo:BFO_0000002 ;
owl:disjointWith obo:BFO_0000020,
obo:BFO_0000031 .