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 1933-1935
(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 1928-1930
(domain TimeIntervalListFn 1 TimeInterval)	Weather.kif 1938-1938	The number 1 argument of time interval list is an instance of time interval
(domain TimeIntervalListFn 2 TimeDuration)	Weather.kif 1939-1939	The number 2 argument of time interval list is an instance of time duration
(instance TimeIntervalListFn BinaryFunction)	Weather.kif 1941-1941	Time interval list is an instance of binary function
(range TimeIntervalListFn ConsecutiveTimeIntervalList)	Weather.kif 1940-1940	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 1936-1937
(format EnglishLanguage TimeIntervalListFn "ConsecutiveTimeIntervalList for at %1 at %2 is contained in TimeIntervalListFn")	Weather.kif 1931-1932
(termFormat ChineseLanguage TimeIntervalListFn "时间间隔表列")	domainEnglishFormat.kif 10398-10398
(termFormat EnglishLanguage TimeIntervalListFn "time interval list")	domainEnglishFormat.kif 10397-10397

antecedent

(=> (and (inList ?INT ?LIST) (equal ?LIST (TimeIntervalListFn ?TIME ?DUR))) (duration ?INT ?DUR))	Weather.kif 1957-1962	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 1948-1955	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 1987-1999	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 1943-1946	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