Jump to:
loading...| Preferred Name | process | |
| Synonyms |
|
|
| Definitions |
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003]) |
|
| ID |
http://purl.obolibrary.org/obo/BFO_0000015 |
|
| BFO CLIF specification label |
Process |
|
| BFO OWL specification label |
process |
|
| definition |
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003]) |
|
| has associated axiom(fol) |
(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] |
|
| isDefinedBy | ||
| label |
process |
|
| prefixIRI |
ns4:BFO_0000015 |
|
| prefLabel |
process |
|
| subClassOf |
Create mapping