Precipitation - Sigma Knowledge base Browser

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

If a process is an instance of precipitation,
then there exists an entity such that the entity is an instance of water and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1637-1647	If a physical is an instance of storm, then the statement there exist an entity and another entity such that the entity is an instance of precipitation and the other entity is an instance of geographic area and the entity is located at 2 and the entity is a subprocess of the physical has the modal force of likely holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 645-650	If 1 is a relative humidity of an object, then there exists a process such that the process is an instance of precipitation and the process is located at 2

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