Jump to:
loading...| Preferred Name | occurrent | |
| Synonyms |
|
|
| ID |
http://purl.obolibrary.org/obo/BFO_0000003 |
|
| BFO CLIF specification label |
Occurrent |
|
| BFO OWL specification label |
occurrent |
|
| has associated axiom(fol) |
(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] |
|
| has associated axiom(nl) |
Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001]) b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001]) |
|
| isDefinedBy | ||
| label |
occurrent |
|
| prefixIRI |
ns4:BFO_0000003 |
|
| prefLabel |
occurrent |
|
| subClassOf |
Create mapping