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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FreezingRain
FreezingRain(凍雨)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1077-1079
No TPTP formula. May not be expressible in strict first order. Weather.kif 1072-1075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7003-7003
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6589-6589
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7001-7001
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7002-7002
No TPTP formula. May not be expressible in strict first order. Weather.kif 1070-1070 子類 凍雨 and 沉澱

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24914-24914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24913-24913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24912-24912

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1087-1092
No TPTP formula. May not be expressible in strict first order. Weather.kif 1083-1085


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