*PositiveInfinity* | *documentation* The TimePoint that is after all other TimePoints | |

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

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

**has axiom** (*equal* (*EndFn* (*FutureFn* ?TIME)) *PositiveInfinity*)
| |

**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 | |