Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConsecutiveTimeIntervalList

Sigma KEE - ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(range TimeIntervalListFn ConsecutiveTimeIntervalList) Weather.kif 1941-1941
(termFormat ChineseLanguage ConsecutiveTimeIntervalList "连续时间间隔表列") domainEnglishFormat.kif 10394-10394
(termFormat EnglishLanguage ConsecutiveTimeIntervalList "consecutive time interval list") domainEnglishFormat.kif 10393-10393

antecedent
-------------------------


(=>
    (and
        (instance ?LIST ConsecutiveTimeIntervalList)
        (equal ?T1
            (ListOrderFn ?LIST ?N))
        (equal ?T2
            (ListOrderFn ?LIST
                (AdditionFn ?N 1))))
    (equal
        (BeginFn ?T2)
        (EndFn ?T1)))
Weather.kif 1918-1927
(=>
    (and
        (instance ?LIST ConsecutiveTimeIntervalList)
        (inList ?TIME ?LIST))
    (instance ?Time TimeInterval))
Weather.kif 1912-1916
(=>
    (instance ?LIST ConsecutiveTimeIntervalList)
    (equal ?LIST
        (TimeIntervalListFn ?TIME ?DUR)))
Weather.kif 1944-1947


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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