Preferred Name | quality | |
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000019 |
|
BFO CLIF specification label |
Quality |
|
BFO OWL specification label |
quality |
|
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 length of the circumference of your waist the shape of your nostril the ambient temperature of this portion of air the shape of your nose the mass of this piece of gold. the color of a tomato |
|
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]) |
|
imported from | ||
label |
quality |
|
prefixIRI |
BFO:0000019 |
|
prefLabel |
quality |
|
rdfs:isDefinedBy | ||
subClassOf |