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
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1925-1926
No TPTP formula. May not be expressible in strict first order. Weather.kif 1923-1924
No TPTP formula. May not be expressible in strict first order. Weather.kif 1927-1927 Consecutive time interval list is a subclass of list

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1958-1958 The range of time interval list is an instance of consecutive time interval list
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10394-10394
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10393-10393

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1935-1944
No TPTP formula. May not be expressible in strict first order. Weather.kif 1929-1933
No TPTP formula. May not be expressible in strict first order. Weather.kif 1961-1964


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