| appearance as argument number 1 |
|
| (documentation TimeIntervalListFn ChineseLanguage "TimeIntervalListFn 是一个 BinaryFunction， 它接受一个 TimeInterval 和一个 TimeDuration, 然后以表列(List)形式把一连串连续的时间间隔 呈现出来，为连续时间间隔表列(ConsecutiveTimeIntervalList)。") | Weather.kif 1951-1953 | |
| (documentation TimeIntervalListFn EnglishLanguage "TimeIntervalListFn is a BinaryFunction which takes a TimeInterval and TimeDuration, then denotes a sequence of continuous time intervals in a List, known as ConsecutiveTimeIntervalList.") | Weather.kif 1946-1948 | |
| (domain TimeIntervalListFn 1 TimeInterval) | Weather.kif 1956-1956 | |
| (domain TimeIntervalListFn 2 TimeDuration) | Weather.kif 1957-1957 | |
| (instance TimeIntervalListFn BinaryFunction) | Weather.kif 1959-1959 | |
| (range TimeIntervalListFn ConsecutiveTimeIntervalList) | Weather.kif 1958-1958 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage TimeIntervalListFn "%1 的 %2 ConsecutiveTimeIntervalList 是在 TimeIntervalListFn(时间间隔表列函数)") | Weather.kif 1954-1955 | |
| (format EnglishLanguage TimeIntervalListFn "ConsecutiveTimeIntervalList for at %1 at %2 is contained in TimeIntervalListFn") | Weather.kif 1949-1950 | |
| (termFormat ChineseLanguage TimeIntervalListFn "时间间隔表列") | domainEnglishFormat.kif 10391-10391 | |
| (termFormat EnglishLanguage TimeIntervalListFn "time interval list") | domainEnglishFormat.kif 10390-10390 |
| antecedent |
|
|
| (=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (duration ?INT ?DUR)) |
Weather.kif 1975-1980 | |
| (=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (equal (BeginFn ?TIME) (BeginFn (FirstFn ?LIST)))) |
Weather.kif 1966-1973 |
| consequent |
|
|
| (=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (exists (?TIMELIST ?INT) (and (equal ?TIMELIST (TimeIntervalListFn ?TIME (MeasureFn 3 SecondDuration))) (inList ?INT ?TIMELIST) (equal ?SPEED (Mean3SecondWindSpeedFn ?PLACE ?INT))))) |
Weather.kif 2005-2017 | |
| (=> (instance ?LIST ConsecutiveTimeIntervalList) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) |
Weather.kif 1961-1964 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners