Class: 'process boundary'
Annotations (11)
- 'BFO OWL specification label' "p-boundary"
- 'BFO CLIF specification label' "ProcessBoundary"
- 'example of usage' "the boundary between the 2nd and 3rd year of your life." @en
- definition "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])" @en
- 'has associated axiom(nl)' "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])" @en
- 'has associated axiom(fol)' "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] "
- 'has associated axiom(fol)' "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] "
- 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/084-001
- 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/085-002
- rdfs:isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
- rdfs:label "process boundary" @en
Superclasses (1)
Disjoints (2)
'process boundary',
'temporal region'