*BeginFn* | *documentation* A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins | |

**has axiom** (*<=>* (*meetsTemporally* ?INTERVAL1 ?INTERVAL2) (*equal* (*EndFn* ?INTERVAL1) (*BeginFn* ?INTERVAL2)))
| |

**has axiom** (*<=>* (*starts* ?INTERVAL1 ?INTERVAL2) (*and* (*equal* (*BeginFn* ?INTERVAL1) (*BeginFn* ?INTERVAL2)) (*before* (*EndFn* ?INTERVAL1) (*EndFn* ?INTERVAL2))))
| |

**has axiom** (*<=>* (*existant* ?PHYS ?TIME) (*temporallyBetweenOrEqual* (*BeginFn* (*WhenFn* ?PHYS)) ?TIME (*EndFn* (*WhenFn* ?PHYS))))
| |

**has axiom** (*<=>* (*finishes* ?INTERVAL1 ?INTERVAL2) (*and* (*before* (*BeginFn* ?INTERVAL2) (*BeginFn* ?INTERVAL1)) (*equal* (*EndFn* ?INTERVAL2) (*EndFn* ?INTERVAL1))))
| |

**has axiom** (=> (*during* ?INTERVAL1 ?INTERVAL2) (*and* (*before* (*EndFn* ?INTERVAL1) (*EndFn* ?INTERVAL2)) (*before* (*BeginFn* ?INTERVAL2) (*BeginFn* ?INTERVAL1))))
| |

**has axiom** (=> (*earlier* ?INTERVAL1 ?INTERVAL2) (*before* (*EndFn* ?INTERVAL1) (*BeginFn* ?INTERVAL2)))
| |

**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** (=> (*equal* (*BeginFn* ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (*and* (*temporalPart* ?OTHERPOINT ?INTERVAL) (*not* (*equal* ?OTHERPOINT ?POINT))) (*before* ?POINT ?OTHERPOINT))))
| |

**has axiom** (=> (*origin* ?PROCESS ?OBJ) (*located* (*WhereFn* ?PROCESS (*BeginFn* (*WhenFn* ?PROCESS))) (*WhereFn* ?OBJ (*BeginFn* (*WhenFn* ?OBJ)))))
| |

**has axiom** (=> (*parent* ?PARENT ?CHILD) (*before* (*BeginFn* (*WhenFn* ?PARENT)) (*BeginFn* (*WhenFn* ?CHILD))))
| |

**has axiom** (=> (result ?PROC ?OBJ) (forall (?TIME) (=> (*before* ?TIME (*BeginFn* (*WhenFn* ?PROC))) (*not* (*existant* ?OBJ ?TIME)))))
| |

**has axiom** (=> (*and* (*equal* (*BeginFn* ?INTERVAL1) (*BeginFn* ?INTERVAL2)) (*equal* (*EndFn* ?INTERVAL1) (*EndFn* ?INTERVAL2))) (*equal* ?INTERVAL1 ?INTERVAL2))
| |

**has axiom** (*before* (*BeginFn* (*WhenFn* ?THING)) (*EndFn* (*WhenFn* ?THING)))
| |

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

**has domain1** TimeInterval | |

**has ***range* TimePoint | |

**is an ***instance* of TemporalRelation | |

**is an ***instance* of UnaryFunction | |

Relation | **is first ***domain* of *domain* | |

**is first ***domain* of *domainSubclass* | |

**is first ***domain* of *holds* | |

**is first ***domain* of *subrelation* | |

**is first ***domain* of *valence* | |

**is second ***domain* of *subrelation* | |

BinaryRelation | **is first ***domain* of *DomainFn* | |

**is first ***domain* of *equivalenceRelationOn* | |

**is first ***domain* of *inverse* | |

**is first ***domain* of *irreflexiveOn* | |

**is first ***domain* of *partialOrderingOn* | |

**is first ***domain* of *RangeFn* | |

**is first ***domain* of *reflexiveOn* | |

**is first ***domain* of *totalOrderingOn* | |

**is first ***domain* of *trichotomizingOn* | |

**is second ***domain* of *inverse* | |

Function | **is first ***domain* of *AssignmentFn* | |

**is first ***domain* of *closedOn* | |

**is first ***domain* of *range* | |

**is first ***domain* of *rangeSubclass* | |

Class | **is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

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