*temporallyBetween* | *documentation* (*temporallyBetween* ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT2 is *between* the TimePoints ?POINT1 *and* ?POINT3, i.e. ?POINT1 is *before* ?POINT2 *and* ?POINT2 is *before* ?POINT3 | |

**has axiom** (*<=>* (*temporallyBetween* ?POINT1 ?POINT2 ?POINT3) (*and* (*before* ?POINT1 ?POINT2) (*before* ?POINT2 ?POINT3)))
| |

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

**has domain2** TimePoint | |

**has domain3** TimePoint | |

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

**is an ***instance* of TernaryPredicate | |

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

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

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

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

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