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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Raining
Raining(raining)
cloudburst, deluge, downpour, drizzle, mizzle, pelter, rain, rain_down, rain_shower, raindrop, rainfall, rainstorm, shower, soaker, thundershower, torrent, virga, waterspout

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1283-1284
No TPTP formula. May not be expressible in strict first order. Weather.kif 1279-1281
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2325-2325
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1945-1945
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2324-2324
No TPTP formula. May not be expressible in strict first order. Weather.kif 1277-1277 Raining is a subclass of precipitation

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2618-2618 Acid rainfall is a subclass of raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 3487-3487 Drizzling is a subclass of raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 1342-1342 Heavy raining is a subclass of raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 3549-3549 Rain showering is a subclass of raining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48696-48696 Rain showering is a subclass of raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 1286-1286 Rain showering is a subclass of raining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48695-48695 Rain showering is a subclass of raining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48694-48694 Rain showering is a subclass of raining

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3651-3656
No TPTP formula. May not be expressible in strict first order. Weather.kif 1288-1290
No TPTP formula. May not be expressible in strict first order. Weather.kif 1292-1305

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 3156-3167
No TPTP formula. May not be expressible in strict first order. Weather.kif 3551-3565
No TPTP formula. May not be expressible in strict first order. Weather.kif 3516-3541


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