*finishes* | *documentation* (*finishes* ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 *and* ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint *and* that ?INTERVAL2 begins *before* ?INTERVAL1 | |

**has domain1** TimeInterval | |

**has domain2** TimeInterval | |

**is an ***instance* of BinaryPredicate | |

**is an ***instance* of IrreflexiveRelation | |

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

**is an ***instance* of TransitiveRelation | |

BinaryPredicate | **has axiom** (=> (*instance* ?REL BinaryPredicate) (*valence* ?REL 2))
| |

IrreflexiveRelation | **has axiom** (=> (*instance* ?REL IrreflexiveRelation) (forall (?INST) (*not* (*holds* ?REL ?INST ?INST))))
| |

TransitiveRelation | **has axiom** (=> (*partialOrderingOn* ?RELATION ?CLASS) (*and* (*reflexiveOn* ?RELATION ?CLASS) (*instance* ?RELATION TransitiveRelation) (*instance* ?RELATION AntisymmetricRelation)))
| |

**has axiom** (=> (*equivalenceRelationOn* ?RELATION ?CLASS) (*and* (*instance* ?RELATION TransitiveRelation) (*instance* ?RELATION SymmetricRelation) (*reflexiveOn* ?RELATION ?CLASS)))
| |

**has axiom** (=> (*instance* ?REL TransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (*and* (*holds* ?REL ?INST1 ?INST2) (*holds* ?REL ?INST2 ?INST3)) (*holds* ?REL ?INST1 ?INST3))))
| |

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

Predicate | **is first ***domain* of *singleValued* | |

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

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

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

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