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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConsecutiveTimeIntervalList

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 10402-10402
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10401-10401

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