Preferred Name | quality | |
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000019 |
|
BFO CLIF specification label |
Quality |
|
BFO OWL specification label |
quality |
|
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 |
ns4:BFO_0000019 |
|
prefLabel |
quality |
|
subClassOf |
Create mapping