*overlapsTemporally* | *documentation* (*overlapsTemporally* ?INTERVAL1 ?INTERVAL2) means that the two TimeIntervals ?INTERVAL1 *and* ?INTERVAL2 have a TimeInterval in common. Note that this is consistent with ?INTERVAL1 *and* ?INTERVAL2 being the same TimeInterval | |

**has axiom** (*<=>* (*overlapsTemporally* ?INTERVAL1 ?INTERVAL2) (or (*equal* ?INTERVAL1 ?INTERVAL2) (*during* ?INTERVAL1 ?INTERVAL2) (*starts* ?INTERVAL1 ?INTERVAL2) (*finishes* ?INTERVAL1 ?INTERVAL2)))
| |

**has axiom** (=> (*and* (*instance* ?REL SpatialRelation) (*holds* ?REL ?OBJ1 ?OBJ2)) (*overlapsTemporally* (*WhenFn* ?OBJ1) (*WhenFn* ?OBJ2)))
| |

**has axiom** (=> (*and* (*time* ?PHYS ?TIME1) (time ?PHYS ?TIME2)) (or (*overlapsTemporally* ?TIME1 ?TIME2) (*temporalPart* ?TIME1 ?TIME2) (*temporalPart* ?TIME2 ?TIME1)))
| |

**has domain1** TimeInterval | |

**has domain2** TimeInterval | |

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

**is an ***instance* of PartialOrderingRelation | |

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

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