*existant* | *documentation* This relation *holds* *between* an *instance* of Physical *and* an *instance* of TimePosition just in case the temporal lifespan of the former includes the latter. The constants *located* *and* *existant* are the basic spatial *and* temporal predicates, respectively | |

**has axiom** (*<=>* (*instance* ?ABS Abstract) (*not* (exists (?POINT) (or (*located* ?ABS ?POINT) (*existant* ?ABS ?POINT)))))
| |

**has axiom** (*<=>* (*instance* ?PHYS Physical) (exists (?LOC ?TIME) (*and* (*located* ?PHYS ?LOC) (*existant* ?PHYS ?TIME))))
| |

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

**has axiom** (*<=>* (*instance* ?PROCESS Creation) (exists (?PATIENT) (*and* (*patient* ?PROCESS ?PATIENT) (*existant* ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) (*not* (*existant* ?PATIENT (*ImmediatePastFn* (*WhenFn* ?PROCESS)))))))
| |

**has axiom** (*<=>* (*instance* ?PROCESS Destruction) (exists (?PATIENT) (*and* (*patient* ?PROCESS ?PATIENT) (*existant* ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (*not* (*existant* ?PATIENT (*ImmediateFutureFn* (*WhenFn* ?PROCESS)))))))
| |

**has axiom** (*<=>* (*temporalPart* ?POINT (*WhenFn* ?THING)) (*existant* ?THING ?POINT))
| |

**has axiom** (=> (*instance* ?OBJ Object) (exists (?TIME1 ?TIME2) (*and* (*instance* ?TIME1 TimePoint) (*instance* ?TIME2 TimePoint) (*before* ?TIME1 ?TIME2) (forall (?TIME) (=> (*and* (*beforeEq* ?TIME1 ?TIME) (*beforeEq* ?TIME ?TIME2)) (*existant* ?OBJ ?TIME))))))
| |

**has axiom** (=> (*and* (*instance* ?PROC Process) (*subProcess* ?SUBPROC ?PROC)) (exists (?TIME) (*existant* ?SUBPROC ?TIME)))
| |

**has axiom** (=> (*and* (*holdsDuring* ?INTERVAL (*holds* ?REL ?INST1 ?INST2)) (*temporalPart* ?POINT ?INTERVAL) (*instance* ?INST1 Physical) (*instance* ?INST2 Physical)) (*and* (*existant* ?INST1 ?POINT) (*existant* ?INST2 ?POINT)))
| |

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

**has domain1** Physical | |

**has domain2** TimePosition | |

**is an ***instance* of AsymmetricRelation | |

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

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