TimeIntervalListFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TimeIntervalListFn

TimeIntervalListFn

appearance as argument number 1

(documentation TimeIntervalListFn ChineseLanguage "TimeIntervalListFn 是一个 BinaryFunction，它接受一个 TimeInterval 和一个 TimeDuration, 然后以表列(List)形式把一连串连续的时间间隔呈现出来，为连续时间间隔表列(ConsecutiveTimeIntervalList)。")	Weather.kif 1934-1936
(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 1929-1931
(domain TimeIntervalListFn 1 TimeInterval)	Weather.kif 1939-1939	The number 1 argument of time interval list is an instance of time interval
(domain TimeIntervalListFn 2 TimeDuration)	Weather.kif 1940-1940	The number 2 argument of time interval list is an instance of time duration
(instance TimeIntervalListFn BinaryFunction)	Weather.kif 1942-1942	Time interval list is an instance of binary function
(range TimeIntervalListFn ConsecutiveTimeIntervalList)	Weather.kif 1941-1941	The range of time interval list is an instance of consecutive time interval list

appearance as argument number 2

(format ChineseLanguage TimeIntervalListFn "%1 的 %2 ConsecutiveTimeIntervalList 是在 TimeIntervalListFn(时间间隔表列函数)")	Weather.kif 1937-1938
(format EnglishLanguage TimeIntervalListFn "ConsecutiveTimeIntervalList for at %1 at %2 is contained in TimeIntervalListFn")	Weather.kif 1932-1933
(termFormat ChineseLanguage TimeIntervalListFn "时间间隔表列")	domainEnglishFormat.kif 10399-10399
(termFormat EnglishLanguage TimeIntervalListFn "time interval list")	domainEnglishFormat.kif 10398-10398

antecedent

(=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (duration ?INT ?DUR))	Weather.kif 1958-1963	If a time interval is a member of a consecutive time interval list and the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at another time interval at a time duration is contained in TimeIntervalListFn, then duration of the time interval is the time duration
(=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (equal (BeginFn ?TIME) (BeginFn (FirstFn ?LIST))))	Weather.kif 1949-1956	If an entity is a member of a consecutive time interval list and the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at a time interval at a time duration is contained in TimeIntervalListFn, then the beginning of the time interval is equal to the beginning of the first of the consecutive time interval list

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 1988-2000	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and a function quantity is a member of the list, then there exist the time intervalLIST and another time interval such that the time intervalLIST is equal to ConsecutiveTimeIntervalList for at the time interval at 3 second duration(s) is contained in TimeIntervalListFn and the other time interval is a member of the time intervalLIST and the function quantity is equal to Mean3SecondWindSpeedFn for the other time interval in region the geographic area
(=> (instance ?LIST ConsecutiveTimeIntervalList) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR)))	Weather.kif 1944-1947	If a consecutive time interval list is an instance of consecutive time interval list, then the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at a time interval at a time duration is contained in TimeIntervalListFn

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