TimePoint | *documentation* An extensionless point on the universal timeline. The TimePoints at which Processes occur can be known with various degrees of precision *and* approximation, but conceptually TimePoints are point-like *and* *not* interval-like. That is, it doesn't make sense to talk about what happens *during* a TimePoint, or how long the TimePoint lasts | |

**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 *NegativeInfinity*))) (exists (?OTHERPOINT) (*temporallyBetween* *NegativeInfinity* ?OTHERPOINT ?POINT)))
| |

**has axiom** (=> (*instance* ?OBJ Object) (exists (?TIME1 ?TIME2) (*and* (*instance* ?TIME1 TimePoint) (*instance* ?TIME2 TimePoint) (*before* ?TIME1 ?TIME2) (forall (?TIME) (=> (*and* (*beforeEq* ?TIME1 ?TIME) (*beforeEq* ?TIME ?TIME2)) (*existant* ?OBJ ?TIME))))))
| |

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

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

**has axiom** (=> (*and* (*birthTime* ?ORGANISM ?TIME1) (*deathTime* ?ORGANISM ?TIME2) (*instance* ?TIME1 TimePoint) (*instance* ?TIME2 TimePoint)) (exists (?INTERVAL) (*and* (*equal* (*BeginFn* ?INTERVAL) ?TIME1) (*equal* (*EndFn* ?INTERVAL) ?TIME2) (*holdsDuring* ?INTERVAL (attribute ?ORGANISM *Living*)))))
| |

**has axiom** (=> (*instance* ?POINT TimePoint) (exists (?INTERVAL) (*and* (*instance* ?INTERVAL TimeInterval) (*temporalPart* ?POINT ?INTERVAL))))
| |

**has axiom** (=> (*instance* ?POINT TimePoint) (*not* (exists (?DURATION) (duration ?POINT ?DURATION))))
| |

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

**is a kind of** TimePosition | |

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

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