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 "ConsecutiveTimeIntervalListList (表列) 一系列连续的TimeIntervals(时间间隔) 。") Weather.kif 1924-1925
(documentation ConsecutiveTimeIntervalList EnglishLanguage "ConsecutiveTimeIntervalList is a sequence of continuous TimeIntervals in a List.") Weather.kif 1922-1923
(subclass ConsecutiveTimeIntervalList List) Weather.kif 1926-1926 Consecutive time interval list is a subclass of list

appearance as argument number 2

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


        (instance ?LIST ConsecutiveTimeIntervalList)
        (equal ?T1
            (ListOrderFn ?LIST ?N))
        (equal ?T2
            (ListOrderFn ?LIST
                (AdditionFn ?N 1))))
        (BeginFn ?T2)
        (EndFn ?T1)))
Weather.kif 1934-1943
        (instance ?LIST ConsecutiveTimeIntervalList)
        (inList ?TIME ?LIST))
    (instance ?Time TimeInterval))
Weather.kif 1928-1932
    (instance ?LIST ConsecutiveTimeIntervalList)
    (equal ?LIST
        (TimeIntervalListFn ?TIME ?DUR)))
Weather.kif 1960-1963

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