| TimePosition(时间位置) | |
| appearance as argument number 1 |
|
|
| (documentation TimePosition ChineseLanguage "这是从 NegativeInfinity到 PositiveInfinity 通用时间轴上的任何 TimePoint 或 TimeInterval。") | chinese_format.kif 1783-1784 | |
| (documentation TimePosition EnglishLanguage "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") | Merge.kif 1989-1990 | |
| (partition TimePosition TimeInterval TimePoint) | Merge.kif 1987-1987 | 时间位置 详尽无遗地 partition 成 时距 和 时点 |
| (subclass TimePosition TimeMeasure) | Merge.kif 1986-1986 | 时间位置 是 时间单位 的 subclass |
| appearance as argument number 2 |
|
|
| (range RelativeTimeFn TimePosition) | Merge.kif 16024-16024 | 相对时间函数 的 range 是 时间位置 的实例 |
| (subclass TimeInterval TimePosition) | Merge.kif 1992-1992 | 时距 是 时间位置 的 subclass |
| (subclass TimePoint TimePosition) | Merge.kif 1999-1999 | 时点 是 时间位置 的 subclass |
| (termFormat ChineseLanguage TimePosition "时间位置") | chinese_format.kif 879-879 | |
| (termFormat EnglishLanguage TimePosition "time position") | english_format.kif 965-965 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA ?TEMP))) (holdsDuring ?TIME (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP))) |
Geography.kif 1551-1556 | |
| (=> (and (instance ?TIME TimePosition) (holdsDuring ?TIME (possesses ?AGENT1 ?OBJ)) (holdsDuring ?TIME (possesses ?AGENT2 ?OBJ))) (equal ?AGENT1 ?AGENT2)) |
Merge.kif 4105-4110 |
|
|
|