*NegativeInfinity* | *documentation* The TimePoint that is *before* all other TimePoints | |

**has axiom** (=> (*and* (*instance* ?POINT TimePoint) (*not* (*equal* ?POINT *NegativeInfinity*))) (exists (?OTHERPOINT) (*temporallyBetween* *NegativeInfinity* ?OTHERPOINT ?POINT)))
| |

**has axiom** (=> (*and* (*instance* ?POINT TimePoint) (*not* (*equal* ?POINT *NegativeInfinity*))) (*before* *NegativeInfinity* ?POINT))
| |

**has axiom** (*equal* (*BeginFn* (*PastFn* ?TIME)) *NegativeInfinity*)
| |

**is an ***instance* of TimePoint | |

TimePoint | **is first ***domain* of *before* | |

**is first ***domain* of *beforeEq* | |

**is first ***domain* of *temporallyBetween* | |

**is first ***domain* of *temporallyBetweenOrEqual* | |

**is first ***domain* of *temporalPart* | |

**is second ***domain* of *before* | |

**is second ***domain* of *beforeEq* | |

**is second ***domain* of *temporallyBetween* | |

**is second ***domain* of *temporallyBetweenOrEqual* | |

**is second ***domain* of *WhereFn* | |

**is third ***domain* of *temporallyBetween* | |

**is third ***domain* of *temporallyBetweenOrEqual* | |

TimePosition | **is partitioned into** TimeInterval, TimePoint | |

Abstract | **is ***disjoint* from Physical | |