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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClearWeather
ClearWeather(clear weather)
bad_weather, clear, cloudless, fair, inclemency, inclementness, unclouded

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 879-880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1702-1702
No TPTP formula. May not be expressible in strict first order. Weather.kif 877-877 Clear weather is a subclass of weather process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15099-15099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15098-15098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15097-15097

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 892-898
No TPTP formula. May not be expressible in strict first order. Weather.kif 882-890


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