TimeInterval
|
|
appearance as argument number 1 |
(documentation TimeInterval ChineseLanguage "这是一个时段。注: TimeInterval 在通用时间轴上 皆有范围和位置;另外 TimeInterval 是没有间隙的,即这个类别只含凸时间间隔。") | chinese_format.kif 1785-1786 | |
(documentation TimeInterval EnglishLanguage "An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.") | Merge.kif 2086-2089 | |
(documentation TimeInterval JapaneseLanguage "時間の間隔。 注 1: TimeInterval には、ユニバーサル タイムライン上の範囲と場所の両方がある。 注 2: TimeInterval にはギャップがない。 例: このクラスには、凸時間間隔のみが含まれる。") | japanese_format.kif 398-401 | |
(subclass TimeInterval TimePosition) | Merge.kif 2084-2084 | Time interval is a subclass of time position |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
consequent |
statement |
(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth)))))) |
Media.kif 1970-1978 | There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity
|