Matches in Ubergraph for { <http://purl.obolibrary.org/obo/BFO_0000002> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- BFO_0000002 BFO_0000179 "continuant" @default.
- BFO_0000002 BFO_0000180 "Continuant" @default.
- BFO_0000002 IAO_0000115 "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts." @default.
- BFO_0000002 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" @default.
- BFO_0000002 IAO_0000116 "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" @default.
- BFO_0000002 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])" @default.
- BFO_0000002 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])" @default.
- BFO_0000002 IAO_0000601 "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])" @default.
- BFO_0000002 IAO_0000601 "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])" @default.
- BFO_0000002 IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " @default.
- BFO_0000002 IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]" @default.
- BFO_0000002 IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " @default.
- BFO_0000002 IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]" @default.
- BFO_0000002 IAO_0000602 "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " @default.
- BFO_0000002 IAO_0000602 "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]" @default.
- BFO_0000002 IAO_0000602 "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " @default.
- BFO_0000002 IAO_0000602 "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]" @default.
- BFO_0000002 normalizedInformationContent "0.71828043330309821" @default.
- BFO_0000002 referenceCount "3281038" @default.
- BFO_0000002 type Class @default.
- BFO_0000002 isDefinedBy bfo.owl @default.
- BFO_0000002 label "continuant" @default.
- BFO_0000002 subClassOf B02f7300cefb5a5590fa329ad3b3f4bf6 @default.
- BFO_0000002 subClassOf B03d5d85a444f4037ce4a051c57544fca @default.
- BFO_0000002 subClassOf B1a2ac06aa7dfcfe05924b67e44d9d0a0 @default.
- BFO_0000002 subClassOf Bab85b2726ec8179cc7e226a8c1a113ca @default.
- BFO_0000002 subClassOf Bafb1d4f9471ae04cb97123dc04f65876 @default.
- BFO_0000002 subClassOf Bc2e01650c5435448ae321775f272b021 @default.
- BFO_0000002 subClassOf Bf24a6806604881fe8862e30715568993 @default.
- BFO_0000002 subClassOf BFO_0000001 @default.
- BFO_0000002 subClassOf BFO_0000002 @default.
- BFO_0000002 disjointWith B11122fd41aa6da7c08dedf405f99ebd5 @default.
- BFO_0000002 disjointWith B5c350f6982b74b9b792e25903e703190 @default.
- BFO_0000002 disjointWith Bf75ff540d0dd47b7f924315b5a856ca1 @default.
- BFO_0000002 disjointWith BFO_0000003 @default.
- BFO_0000002 category Entity @default.
- BFO_0000002 category NamedThing @default.