domain
range
annotatedSource
someValuesFrom
BFO OWL specification label
continuant
BFO CLIF specification label
Continuant
definition
An entity that exists in full ...... ity and has no temporal parts.
@en
editor note
BFO 2 Reference: Continuant en ...... is a continuant.’ [60, p. 240
@en
Continuant doesn't have a clos ...... her universals are continuants
@en
elucidation
A continuant is an entity that ...... in BFO2 Reference: [008-002])
@en
has associated axiom(nl)
if b is a continuant and if, f ...... in BFO2 Reference: [126-001])
@en
if b is a continuant and if, f ...... in BFO2 Reference: [009-002])
@en
if b is a material entity, the ...... in BFO2 Reference: [011-002])
@en
has associated axiom(fol)
(forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [009-002]
(forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [126-001]
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
(forall (x) (if (Material Enti ...... label in BFO2 CLIF: [011-002]
type
isDefinedBy
label
continuant
@en