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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FreezingRain

 Sigma KEE - FreezingRain
FreezingRain(冻雨)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1065-1067
No TPTP formula. May not be expressible in strict first order. Weather.kif 1060-1063
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 1058-1058 冻雨 是 沉淀 的 subclass

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 1075-1080
No TPTP formula. May not be expressible in strict first order. Weather.kif 1071-1073


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