TimeInterval | *documentation* An interval of *time*. Note that a TimeInterval has both an extent *and* a location on the universal timeline | |

**has axiom** (=> (*and* (*birthTime* ?ORGANISM ?TIME1) (*deathTime* ?ORGANISM ?TIME2) (*instance* ?TIME1 TimeInterval) (*instance* ?TIME2 TimeInterval)) (exists (?INTERVAL) (*and* (*starts* ?TIME1 ?INTERVAL) (*finishes* ?TIME2 ?INTERVAL) (*holdsDuring* ?INTERVAL (attribute ?ORGANISM *Living*)))))
| |

**has axiom** (=> (*and* (*holdsDuring* ?TIME1 ?SITUATION) (*instance* ?TIME1 TimeInterval) (*temporalPart* ?TIME2 ?TIME1)) (*holdsDuring* ?TIME2 ?SITUATION))
| |

**has axiom** (=> (*instance* ?INTERVAL TimeInterval) (exists (?DURATION) (duration ?INTERVAL ?DURATION)))
| |

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

**is first ***domain* of *BeginFn* | |

**is first ***domain* of *during* | |

**is first ***domain* of *earlier* | |

**is first ***domain* of *EndFn* | |

**is first ***domain* of *finishes* | |

**is first ***domain* of *meetsTemporally* | |

**is first ***domain* of *overlapsTemporally* | |

**is first ***domain* of *starts* | |

**is second ***domain* of *during* | |

**is second ***domain* of *earlier* | |

**is second ***domain* of *finishes* | |

**is second ***domain* of *meetsTemporally* | |

**is second ***domain* of *overlapsTemporally* | |

**is second ***domain* of *starts* | |

**is second ***domain* of *temporalPart* | |

**is a kind of** TimePosition | |

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

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