loading...| Preferred Name | process profile | |
| Synonyms |
|
|
| Definitions |
b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002]) |
|
| ID |
http://purl.obolibrary.org/obo/BFO_0000144 |
|
| BFO CLIF specification label |
ProcessProfile |
|
| BFO OWL specification label |
process-profile |
|
| definition |
b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002]) |
|
| has associated axiom(fol) |
(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005] (iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002] |
|
| isDefinedBy | ||
| label |
process profile |
|
| prefixIRI |
ns4:BFO_0000144 |
|
| prefLabel |
process profile |
|
| subClassOf |