Attributes  Values 

Type
 
subClassOf
 
example of usage
  the boundary between the 2nd and 3rd year of your life.
 the boundary between the 2nd and 3rd year of your life.
 the boundary between the 2nd and 3rd year of your life.
 the boundary between the 2nd and 3rd year of your life.
 the boundary between the 2nd and 3rd year of your life.
 the boundary between the 2nd and 3rd year of your life.

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: [084001])
 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: [084001])
 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: [084001])
 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: [084001])
 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: [084001])
 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: [084001])
 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: [084001])

imported from
 
has associated axiom(nl)
  Every process boundary occupies_temporal_region a zerodimensional temporal region. (axiom label in BFO2 Reference: [085002])
 Every process boundary occupies_temporal_region a zerodimensional temporal region. (axiom label in BFO2 Reference: [085002])
 Every process boundary occupies_temporal_region a zerodimensional temporal region. (axiom label in BFO2 Reference: [085002])
 Every process boundary occupies_temporal_region a zerodimensional temporal region. (axiom label in BFO2 Reference: [085002])
 Every process boundary occupies_temporal_region a zerodimensional temporal region. (axiom label in BFO2 Reference: [085002])
 Every process boundary occupies_temporal_region a zerodimensional temporal region. (axiom label in BFO2 Reference: [085002])

has associated axiom(fol)
  (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085002]
 (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085002]
 (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085002]
 (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085002]
 (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085002]
 (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085002]
 (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084001]
 (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084001]
 (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084001]
 (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084001]
 (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084001]
 (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084001]

has a SPARQL endpoint at
 
BFO OWL specification label
  pboundary
 pboundary
 pboundary
 pboundary
 pboundary
 pboundary

BFO CLIF specification label
  ProcessBoundary
 ProcessBoundary
 ProcessBoundary
 ProcessBoundary
 ProcessBoundary
 ProcessBoundary

label
  process boundary
 process boundary
 process boundary
 process boundary
 process boundary
 process boundary
 process boundary
 process boundary
 process boundary

isDefinedBy
 
preferred label
 
topic
 
described by
 