| 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 1993-1994 | |
| (partition TimePosition TimeInterval TimePoint) | Merge.kif 1991-1991 | 时间位置 详尽无遗地 partition 成 时距 和 时点 |
| (subclass TimePosition TimeMeasure) | Merge.kif 1990-1990 | 时间位置 是 时间单位 的 subclass |
| appearance as argument number 2 |
|
|
| (range RelativeTimeFn TimePosition) | Merge.kif 16076-16076 | 相对时间函数 的 range 是 时间位置 的实例 |
| (subclass TimeInterval TimePosition) | Merge.kif 1996-1996 | 时距 是 时间位置 的 subclass |
| (subclass TimePoint TimePosition) | Merge.kif 2003-2003 | 时点 是 时间位置 的 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 (MeasureFn ?TEMP CelsiusDegree)))) (holdsDuring ?TIME (greaterThan 10 ?TEMP))) |
Geography.kif 1568-1574 | |
| (=> (and (instance ?TIME TimePosition) (holdsDuring ?TIME (possesses ?AGENT1 ?OBJ)) (holdsDuring ?TIME (possesses ?AGENT2 ?OBJ))) (equal ?AGENT1 ?AGENT2)) |
Merge.kif 4117-4122 |
|
|
|