*PastFn* | *documentation* A UnaryFunction that maps a TimePosition to the TimeInterval that meets it *and* that begins at *NegativeInfinity* | |

**has axiom** (=> (*and* (*instance* ?DECODE Decoding) (*patient* ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2) (*and* (*containsInformation* ?DOC2 ?PROP) (*containsInformation* ?DOC1 ?PROP) (*holdsDuring* ?TIME (*and* (*temporalPart* ?TIME (*PastFn* (*WhenFn* ?DECODE))) (*instance* ?ENCODE Encoding) (*patient* ?ENCODE ?DOC2))))))
| |

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

**has axiom** (*finishes* (*ImmediatePastFn* (*WhenFn* ?THING)) (*PastFn* (*WhenFn* ?THING)))
| |

**has axiom** (*meetsTemporally* (*PastFn* (*WhenFn* ?THING)) (*WhenFn* ?THING))
| |

**has domain1** TimePosition | |

**has ***range* TimeInterval | |

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