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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Precipitation
Precipitation(precipitation)come_down, downfall, drizzle, fall, fine_spray, hail, mizzle, patter, pitter-patter, precipitate, precipitation, sheet, shower, shower_down, spatter, spit, sprinkle

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3019-3020
No TPTP formula. May not be expressible in strict first order. Merge.kif 11332-11334
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1784-1785
No TPTP formula. May not be expressible in strict first order. Merge.kif 11330-11330 Precipitation is a subclass of falling
No TPTP formula. May not be expressible in strict first order. Merge.kif 11329-11329 Precipitation is a subclass of water motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11328-11328 Precipitation is a subclass of weather process

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1309-1309 Freezing rain is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 1409-1409 Hailing is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 1277-1277 Raining is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 1386-1386 Sleeting is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 1370-1370 Snowing is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47110-47110 Snowing is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47109-47109 Snowing is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47108-47108 Snowing is a subclass of precipitation

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1447-1447 The number 1 argument of precipitation amount is an instance of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 1438-1438 The number 1 argument of precipitation rate is an instance of precipitation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11336-11341

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3410-3420
No TPTP formula. May not be expressible in strict first order. Weather.kif 1268-1273


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