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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FreezingRain
FreezingRain(freezing rain)
freezing_rain, 冻雨

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 693-695
No TPTP formula. May not be expressible in strict first order. Weather.kif 688-691
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7004-7004 "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Radar-bright-band.png" is a URL depicting freezing rain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6590-6590 "http://upload.wikimedia.org/wikipedia/commons/1/13/ Freezing_grass.jpg" is a URL depicting freezing rain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7002-7002 "http://upload.wikimedia.org/wikipedia/commons/4/49/ ICERAIN2.JPG" is a URL depicting freezing rain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7003-7003 "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Iced_power_lines.JPG" is a URL depicting freezing rain
No TPTP formula. May not be expressible in strict first order. Weather.kif 686-686 Freezing rain is a subclass of precipitation

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 697-697 "冻雨" is the printable form of freezing rain in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4574-4574 "freezing rain" is the printable form of freezing rain in english language

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 703-708
No TPTP formula. May not be expressible in strict first order. Weather.kif 699-701


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners