| TimePosition(time position) | | 4-dimensional, TRM, actual, actually, arrival_time, back, bedtime, beginning, change_of_life, checkout, checkout_time, climacteric, clock_time, commencement, curfew, current, date, dawn, day, deadline, deep, departure_time, equinoctial, evening, first, four-dimensional, full_term, get-go, immediate, in_reality, just_then, kickoff, latter-day, lights-out, limitation, meal, menopause, meridian, middle, midweek, nonce, noncurrent, occasion, offset, on-going, ongoing, outset, particular_date, pinpoint, showtime... |
| appearance as argument number 1 |
|
|
| s__documentation(s__TimePosition,s__ChineseLanguage,'"这是从 NegativeInfinity到 PositiveInfinity 通用时间轴上的任何 TimePoint 或 TimeInterval。"')
|
chinese_format.kif 1783-1784 | |
| s__documentation(s__TimePosition,s__EnglishLanguage,'"Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity."')
|
Merge.kif 1995-1996 | |
| s__partition__3(s__TimePosition,s__TimeInterval,s__TimePoint)
|
Merge.kif 1993-1993 | Time position is exhaustively partitioned into time interval and time point |
| s__instance(s__TimeMeasure,s__SetOrClass) s__instance(s__TimePosition,s__SetOrClass) s__subclass(s__TimePosition,s__TimeMeasure)
|
Merge.kif 1992-1992 | Time position is a subclass of time measure |
| appearance as argument number 2 |
|
|
| s__range(s__RelativeTimeFn__m,s__TimePosition)
|
Merge.kif 16424-16424 | The range of relative time is an instance of time position |
| s__instance(s__TimePosition,s__SetOrClass) s__instance(s__TimeInterval,s__SetOrClass) s__subclass(s__TimeInterval,s__TimePosition)
|
Merge.kif 1998-1998 | Time interval is a subclass of time position |
| s__instance(s__TimePosition,s__SetOrClass) s__subclass(s__TimePoint,s__TimePosition) s__instance(s__TimePoint,s__SetOrClass)
|
Merge.kif 2005-2005 | Time point is a subclass of time position |
| s__termFormat(s__ChineseLanguage,s__TimePosition,'"时间位置"')
|
chinese_format.kif 879-879 | |
| s__termFormat(s__EnglishLanguage,s__TimePosition,'"time position"')
|
english_format.kif 965-965 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1568-1574 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4120-4125 |
|
|
|
|