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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - measuringListDuration
measuringListDuration

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1874-1874 The number 1 argument of measuring list duration is an instance of measuring list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1875-1875 The number 2 argument of measuring list duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 1876-1876 measuring list duration is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1870-1872
No TPTP formula. May not be expressible in strict first order. Weather.kif 1866-1868
No TPTP formula. May not be expressible in strict first order. Weather.kif 1873-1873
No TPTP formula. May not be expressible in strict first order. Weather.kif 1869-1869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10400-10400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10399-10399

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1878-1886

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2223-2240
No TPTP formula. May not be expressible in strict first order. Weather.kif 2328-2345
No TPTP formula. May not be expressible in strict first order. Weather.kif 2293-2310
No TPTP formula. May not be expressible in strict first order. Weather.kif 2258-2275
No TPTP formula. May not be expressible in strict first order. Weather.kif 1904-1921


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