Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ConsecutiveTimeIntervalList
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ConsecutiveTimeIntervalList EnglishLanguage "ConsecutiveTimeIntervalList is a sequence of continuous TimeIntervals in a List.") | Weather.kif 3190-3191 | |
| (documentation ConsecutiveTimeIntervalList ChineseLanguage "ConsecutiveTimeIntervalList 是 List (表列) 一系列连续的TimeIntervals(时间间隔) 。") | Weather.kif 3192-3193 | |
| (subclass ConsecutiveTimeIntervalList List) | Weather.kif 3194-3194 | Consecutive time interval list is a subclass of list |
| appearance as argument number 2 |
|
|
| (range TimeIntervalListFn ConsecutiveTimeIntervalList) | Weather.kif 3225-3225 | The range of time interval list is an instance of consecutive time interval list |
| (termFormat EnglishLanguage ConsecutiveTimeIntervalList "consecutive time interval list") | domainEnglishFormat.kif 10393-10393 | The range of time interval list is an instance of consecutive time interval list |
| (termFormat ChineseLanguage ConsecutiveTimeIntervalList "连续时间间隔表列") | domainEnglishFormat.kif 10394-10394 | The range of time interval list is an instance of consecutive time interval list |
| antecedent |
|
|
| (=> (and (instance ?LIST ConsecutiveTimeIntervalList) (inList ?TIME ?LIST)) (instance ?Time TimeInterval)) |
Weather.kif 3196-3200 | If X is an instance of consecutive time interval list and Y is a member of X, then Z is an instance of timeframe |
| (=> (and (instance ?LIST ConsecutiveTimeIntervalList) (equal ?T1 (ListOrderFn ?LIST ?N)) (equal ?T2 (ListOrderFn ?LIST (AdditionFn ?N 1)))) (equal (BeginFn ?T2) (EndFn ?T1))) |
Weather.kif 3202-3211 | If X is an instance of consecutive time interval list, equal Y and Z element of X, and equal W and (V and 1)th element of X, then equal the beginning of W and the end of Y |
| (=> (instance ?LIST ConsecutiveTimeIntervalList) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) |
Weather.kif 3228-3231 | If X is an instance of consecutive time interval list, then equal X and ConsecutiveTimeIntervalList for at Y at Z is contained in TimeIntervalListFn |
|