continuant
Class
http://purl.obolibrary.org/obo/BFO_0000002
Class Hierarchy
- Thing
- ↳ entity (bfo)
- ↳ continuant
- ↳ generically dependent continuant
- ↳ generically dependent continuant (proethica-foundation)
- ↳ independent continuant
- ↳ independent continuant (proethica-foundation)
- ↳ specifically dependent continuant
- ↳ specifically dependent continuant (proethica-foundation)
Properties
Disjoint with
occurrent
From
owl:disjointWith and owl:AllDisjointClasses membership; the listed classes are pairwise disjoint with this one.Subclasses 3
Used in cases 119
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 11 Case 12 Case 13 Case 14 Case 15 Case 16 Case 17 Case 18 Case 19 Case 20 Case 22 Case 56 Case 57 Case 58 Case 59 Case 60 Case 71 Case 72 Case 73 Case 74 Case 75 Case 76 Case 77 Case 78 Case 79 Case 82 Case 83 Case 84 Case 85 Case 86 Case 87 Case 88 Case 89 Case 90 Case 91 Case 92 Case 93 Case 94 Case 96 Case 97 Case 98 Case 99 Case 100 Case 102 Case 103 Case 104 Case 105 Case 106 Case 107 Case 108 Case 109 Case 110 Case 111 Case 112 Case 113 Case 114 Case 116 Case 117 Case 118 Case 120 Case 121 Case 123 Case 124 Case 125 Case 126 Case 127 Case 128 Case 129 Case 130 Case 131 Case 132 Case 133 Case 134 Case 135 Case 136 Case 137 Case 139 Case 140 Case 141 Case 142 Case 143 Case 144 Case 145 Case 146 Case 147 Case 148 Case 149 Case 150 Case 151 Case 157 Case 158 Case 160 Case 161 Case 162 Case 163 Case 164 Case 165 Case 166 Case 167 Case 168 Case 169 Case 170 Case 171 Case 172 Case 173 Case 174 Case 175 Case 176 Case 177 Case 178 Case 179 Case 181@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_0000002 a owl:Class ;
rdfs:label "continuant"@en ;
obo:BFO_0000179 "continuant" ;
obo:BFO_0000180 "Continuant" ;
obo:IAO_0000116 "BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240"@en,
"Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants"@en ;
obo:IAO_0000600 "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])"@en ;
obo:IAO_0000601 "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])"@en,
"if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])"@en,
"if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])"@en ;
obo:IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] ",
"(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] ",
"(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] ",
"(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " ;
rdfs:isDefinedBy obo:bfo.owl ;
rdfs:subClassOf obo:BFO_0000001 ;
owl:disjointWith obo:BFO_0000003 .