loading...| Preferred Name | continuant | |
| Synonyms |
|
|
| ID |
http://purl.obolibrary.org/obo/BFO_0000002 |
|
| BFO CLIF specification label |
Continuant |
|
| BFO OWL specification label |
continuant |
|
| has associated axiom(fol) |
(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] |
|
| has associated axiom(nl) |
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]) 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]) 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]) |
|
| isDefinedBy | ||
| label |
continuant |
|
| prefixIRI |
ns4:BFO_0000002 |
|
| prefLabel |
continuant |
|
| disjointWith | ||
| subClassOf |