ONTOLOGY EXPLORER
process boundary
<http://purl.obolibrary.org/obo/BFO_0000035>
プロパティと値
| プロパティ | 値 |
|---|---|
| BFO_0000179 | "p-boundary" |
| BFO_0000180 | "ProcessBoundary" |
| IAO_0000112 | "the boundary between the 2nd and 3rd year of your life."@en |
| IAO_0000115 | "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 |
| IAO_0000601 | "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])"@en |
| IAO_0000602 | "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] " |
| IAO_0000602 | "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " |
| type | Class |
| isDefinedBy | bfo.owl |
| label | "process boundary"@en |
| subClassOf | BFO_0000003 |