Preferred Name |
quality |
|
Synonyms |
|
|
Definitions |
A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. [BFO] |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000019 |
|
BFO CLIF specification label |
Quality |
|
BFO OWL specification label |
quality |
|
definition |
A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. [BFO] |
|
elucidation |
a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001]) |
|
example of usage |
the shape of your nostril the color of a tomato the ambient temperature of this portion of air the length of the circumference of your waist the mass of this piece of gold. the shape of your nose |
|
has associated axiom(fol) |
(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] |
|
has associated axiom(nl) |
If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001]) |
|
isDefinedBy | ||
label |
quality |
|
preferred label |
quality |
|
prefixIRI |
BFO:0000019 |
|
subClassOf |