Preferred Name |
quality |
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 mass of this piece of gold. the color of a tomato the ambient temperature of this portion of air the shape of your nose the shape of your nostril |
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 |
prefixIRI |
BFO:0000019 |
prefLabel |
quality |
subClassOf |