Preferred Name | fiat object part | |
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000024 |
|
BFO CLIF specification label |
FiatObjectPart |
|
BFO OWL specification label |
fiat-object-part |
|
has associated axiom(fol) |
(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] |
|
isDefinedBy | ||
label |
fiat object part |
|
prefixIRI |
ns4:BFO_0000024 |
|
prefLabel |
fiat object part |
|
subClassOf |
Create mapping