Relationships
|
|
|
|
Parents |
InheritableRelation |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
|
Relation |
The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
|
Instances | AfternoonFn | A UnaryFunction that returns the class of Afternoons of the given Day. |
| anniversary | (anniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of ?PHYSICAL. For example, (anniversary Christmas (DayFn 25 December)) means that Christmas is celebrated each year on the 25th of December. |
| before | (before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline. |
| beforeOrEqual | (beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline. |
| BeginFn | A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins. |
| cooccur | (cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with. |
| DayFn | A BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days within each Month corresponding to that PositiveRealNumber. For example, (DayFn 16 August) is the Class of all sixteenth days of August. For another example, (DayFn 9 Month) would return the class of all ninth days of any month. For still another example, (DayFn 18 (MonthFn August (YearFn 1912))) denotes the 18th day of August 1912. |
| earlier | (earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins. |
| EndFn | A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends. |
| EveningFn | A UnaryFunction that returns the class of Evenings of the given Day. |
| finishes | (finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1. |
| finishesDuring | (finishesDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 ends during ?INTERVAL2. |
| FutureFn | A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity. |
| HourFn | A BinaryFunction that assigns a PositiveRealNumber and a subclass of Days to the Hours within each Day corresponding to that NonnegativeInteger. For example, (HourFn 12 Thursday) is the Class of all instances of noon Thursday. For another example, (HourFn 0 Day) would return the class of all instances of midnight. For still another example, (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))) denotes 2 PM on the 18th day of August 1912. |
| ImmediateFutureFn | A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition. |
| ImmediatePastFn | A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition. |
| meetsTemporally | (meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2. |
| MinuteFn | A BinaryFunction that assigns a PositiveRealNumber and a subclass of Hours to the Minutes within each Hour corresponding to that NonnegativeInteger. For example, (MinuteFn 30 (HourFn 17 Day)) is the Class of all 5:30's in the afternoon. For another example, (MinuteFn 15 Hour) would return the class of all instances of quarter past the hour. For still another example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912. |
| MonthFn | A BinaryFunction that maps a subclass of Month and a subclass of Year to the class containing the Month corresponding to that Year. For example (MonthFn August (YearFn 1912)) is the class containing the eighth Month, i.e. August, of the Year 1912. For another example, (MonthFn August Year) is equal to August, the class of all months of August. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals. |
| MorningFn | A UnaryFunction that returns the class of Mornings of the given Day. |
| overlapsTemporally | (overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part. |
| PastFn | A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity. |
| QuarterFn | A BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Quarter within each Year corresponding to that PositiveRealNumber. For example, (QuarterFn 4 (YearFn 1999)) is the singular Class of the last QuarterYear of the Year 1999. |
| RecurrentTimeIntervalFn | A function that is useful for generating recurring time intervals. For example, (RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day)) returns the Class of TimeIntervals beginning at 6 in the morning and ending at 12 noon. For another example, (RecurrentTimeInterval Saturday Sunday) returns the Class of all weekends. For still another example, (RecurrentTimeInterval June August) returns the Class containing the academic summer period. |
| RelativeTimeFn | A means of converting TimePositions between different TimeZones. (RelativeTimeFn ?TIME ?ZONE) denotes the TimePosition in CoordinatedUniversalTime that is contemporaneous with the TimePosition ?TIME in TimeZone ?ZONE. For example, (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone) would return the value (MeasureFn 19 HourDuration). |
| SecondFn | A BinaryFunction that assigns a PositiveRealNumber and a subclass of Minutes to the Seconds within each Minute corresponding to that PositiveRealNumber. For example, (SecondFn 4 (MinuteFn 5 Hour)) is the Class of all fourth Seconds of every fifth Minute of every hour. For another example, (SecondFn 8 Minute) would return the eighth second of every minute. For still another example, (SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912. |
| starts | (starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2. |
| startsDuring | (startsDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 starts during ?INTERVAL2. |
| TemporalCompositionFn | The basic Function for expressing the composition of larger TimeIntervals out of smaller TimeIntervals. For example, if ThisSeptember is an instance of September, (TemporalCompositionFn ThisSeptember Day) denotes the Class of consecutive days that make up ThisSeptember. Note that one can obtain the number of instances of this Class by using the function CardinalityFn. |
| temporalPart | The temporal analogue of the spatial part predicate. (temporalPart ?POS1 ?POS2) means that TimePosition ?POS1 is part of TimePosition ?POS2. Note that since temporalPart is a ReflexiveRelation every TimePostion is a temporalPart of itself. |
| temporallyBetween | (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. |
| temporallyBetweenOrEqual | (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT1 is before or equal to the TimePoint ?POINT2 and ?POINT2 is before or equal to the TimePoint ?POINT3. |
| time | 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. In other words, (time ?THING ?TIME) means that ?THING existed or occurred at ?TIME. Note that time does for instances of time what holdsDuring does for instances of Formula. The constants located and time are the basic spatial and temporal predicates, respectively. |
| TimeIntervalFn | A BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined by these two TimePoints.Note that the first TimePoint must occur earlier than the second TimePoint. |
| typicalTemporalPart | An instance of the first argument is typically a temporal part of an instance of the second argument. This is a class_level relation roughly corresponding to temporalPart. Note that this does not imply that such wholes typically have such parts. |
| typicallyContainsTemporalPart | An instance of the second argument typically contains an instance of the first argument. This is a class_level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes. |
| weddingAnniversary | (weddingAnniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of their weddingdate. |
| WeekFn | A BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Week within each Year corresponding to that PositiveRealNumber. For example, (WeekFn 4 (YearFn 1999)) is the singular Class of all fourth Weeks of the Year 1999. |
| WhenFn | A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold. |
| YearFn | A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals. |