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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FreezingRain

Sigma KEE - FreezingRain
FreezingRain(freezing rain)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1081-1083
No TPTP formula. May not be expressible in strict first order. Weather.kif 1076-1079
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 1074-1074 Freezing rain is a subclass of precipitation

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 1091-1096
No TPTP formula. May not be expressible in strict first order. Weather.kif 1087-1089


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