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

VerbNet: weather-57|precipitate, weather-57|mizzle, weather-57|precipitate, weather-57|mizzle, weather-57|sprinkle, weather-57|sprinkle, weather-57|precipitate, weather-57|shower, weather-57|shower, weather-57|sprinkle, weather-57|sprinkle, weather-57|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 10479-10481
No TPTP formula. May not be expressible in strict first order. Merge.kif 10477-10477 Precipitation is a subclass of falling
No TPTP formula. May not be expressible in strict first order. Merge.kif 10476-10476 Precipitation is a subclass of water motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10475-10475 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 685-685 Freezing rain is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 789-789 Hailing is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 654-654 Raining is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 763-763 Sleeting is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. Weather.kif 746-746 Snowing is a subclass of precipitation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47027-47027
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47026-47026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47025-47025

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 831-831 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 821-821 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 10483-10488

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1637-1647
No TPTP formula. May not be expressible in strict first order. Weather.kif 645-650


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