ConsecutiveTimeIntervalList - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ConsecutiveTimeIntervalList

ConsecutiveTimeIntervalList(consecutive time interval list)

appearance as argument number 1

(documentation ConsecutiveTimeIntervalList ChineseLanguage "ConsecutiveTimeIntervalList 是 List (表列) 一系列连续的TimeIntervals(时间间隔) 。")	Weather.kif 1907-1908
(documentation ConsecutiveTimeIntervalList EnglishLanguage "ConsecutiveTimeIntervalList is a sequence of continuous TimeIntervals in a List.")	Weather.kif 1905-1906
(subclass ConsecutiveTimeIntervalList List)	Weather.kif 1909-1909	Consecutive time interval list is a subclass of list

appearance as argument number 2

(range TimeIntervalListFn ConsecutiveTimeIntervalList)	Weather.kif 1940-1940	The range of time interval list is an instance of consecutive time interval list
(termFormat ChineseLanguage ConsecutiveTimeIntervalList "连续时间间隔表列")	domainEnglishFormat.kif 10401-10401	The range of time interval list is an instance of consecutive time interval list
(termFormat EnglishLanguage ConsecutiveTimeIntervalList "consecutive time interval list")	domainEnglishFormat.kif 10400-10400	The range of time interval list is an instance of consecutive time interval list

antecedent

(=> (and (instance ?LIST ConsecutiveTimeIntervalList) (equal ?T1 (ListOrderFn ?LIST ?N)) (equal ?T2 (ListOrderFn ?LIST (AdditionFn ?N 1)))) (equal (BeginFn ?T2) (EndFn ?T1)))	Weather.kif 1917-1926	If a list is an instance of consecutive time interval list and a time interval is equal to an entity element of the list and another time interval is equal to (a positive integer and 1)th element of the list, then the beginning of the other time interval is equal to the end of the time interval
(=> (and (instance ?LIST ConsecutiveTimeIntervalList) (inList ?TIME ?LIST)) (instance ?Time TimeInterval))	Weather.kif 1911-1915	If a list is an instance of consecutive time interval list and an entity is a member of the list, then another entity is an instance of time interval
(=> (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