Preferred Name |
continuant |
|
Synonyms |
|
|
Definitions |
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. |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000002 |
|
BFO CLIF specification label |
Continuant |
|
BFO OWL specification label |
continuant |
|
editor note |
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 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 |
|
editor preferred term |
continuant |
|
elucidation |
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]) |
|
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]) |
|
imported from |
http://purl.obolibrary.org/obo/ro.owl http://purl.obolibrary.org/obo/obi.owl |
|
label |
continuant |
|
prefixIRI |
BFO:0000002 |
|
prefLabel |
continuant |
|
rdfs:isDefinedBy | ||
textual definition |
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. |
|
subClassOf |
This ontology integrates with OntoloBridge, allowing community users to suggest additions to the public ontology. Complete the template below to submit a term request directly to the ontology maintainer.
Term Label (required)
Suggested term name. If a term can be described with multiple synonyms, only list the preferred name here.
Term description (required)
A brief definition, description, or usage of your suggested term. Additional term synonyms may be listed in this section.
Superclass (required)
The parent term of the suggested term. The parent term should be an existing entry of the current ontology. The superclass can be selected directly from Bioportal's Classes tree viewer.
References (optional)
Provide evidence for the existence of the requested term such as Pubmed IDs of papers or links to other resources that describe the term.
Justification (optional)
Provide any additional information about the requested term here.