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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - surfaceWindSpeed
surfaceWindSpeed

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11401-11407
No TPTP formula. May not be expressible in strict first order. Merge.kif 11398-11398 The number 1 argument of surface wind speed is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 11399-11399 The number 2 argument of surface wind speed is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 11397-11397 surface wind speed is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2427-2427
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2426-2426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2425-2425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56327-56327
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56326-56326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56325-56325

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11414-11422
No TPTP formula. May not be expressible in strict first order. Weather.kif 1930-1946
No TPTP formula. May not be expressible in strict first order. Weather.kif 1953-1967
No TPTP formula. May not be expressible in strict first order. Weather.kif 1907-1923
No TPTP formula. May not be expressible in strict first order. Weather.kif 1886-1900
No TPTP formula. May not be expressible in strict first order. Weather.kif 1868-1884
No TPTP formula. May not be expressible in strict first order. Weather.kif 1820-1837
No TPTP formula. May not be expressible in strict first order. Weather.kif 1482-1489

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-2012
No TPTP formula. May not be expressible in strict first order. Weather.kif 472-484
No TPTP formula. May not be expressible in strict first order. Weather.kif 337-354
No TPTP formula. May not be expressible in strict first order. Weather.kif 136-145
No TPTP formula. May not be expressible in strict first order. Weather.kif 147-153
No TPTP formula. May not be expressible in strict first order. Weather.kif 3351-3364
No TPTP formula. May not be expressible in strict first order. Weather.kif 3630-3639
No TPTP formula. May not be expressible in strict first order. Weather.kif 132-134


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