| TimePosition(時間位置) | |
| appearance as argument number 1 |
|
|
| (documentation TimePosition ChineseLanguage "这是从 NegativeInfinity到 PositiveInfinity 通用时间轴上的任何 TimePoint 或 TimeInterval。") | Merge.kif 2177-2178 | |
| (documentation TimePosition EnglishLanguage "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") | Merge.kif 2174-2176 | |
| (partition TimePosition TimeInterval TimePoint) | Merge.kif 2173-2173 | partition 時間位置, 時間間隔 and 時点 |
| (subclass TimePosition TimeMeasure) | Merge.kif 2172-2172 | subclass 時間位置 and 時間測定 |
| appearance as argument number 2 |
|
|
| (range RelativeTimeFn TimePosition) | Merge.kif 17572-17572 | range RelativeTimeFn and 時間位置 |
| (subclass TimeInterval TimePosition) | Merge.kif 2180-2180 | subclass 時間間隔 and 時間位置 |
| (subclass TimePoint TimePosition) | Merge.kif 2188-2188 | subclass 時点 and 時間位置 |
| (termFormat ChineseLanguage TimePosition "时间位置") | chinese_format.kif 879-879 | termFormat ChineseLanguage, 時間位置 and "时间位置" |
| (termFormat EnglishLanguage TimePosition "time position") | english_format.kif 698-698 | termFormat EnglishLanguage, 時間位置 and "time position" |
| (termFormat JapaneseLanguage TimePosition "時間位置") | english_format.kif 699-699 | termFormat JapaneseLanguage, 時間位置 and "時間位置" |
| 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 1539-1544 |
|
| (=> (and (instance ?TIME TimePosition) (holdsDuring ?TIME (possesses ?AGENT1 ?OBJ)) (holdsDuring ?TIME (possesses ?AGENT2 ?OBJ))) (equal ?AGENT1 ?AGENT2)) |
Merge.kif 4387-4392 |
|
|
|