Precipitation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Precipitation ChineseLanguage "Precipitation 是水分子以液体或结冰状态从天上掉到地上的过程。")	chinese_format.kif 3019-3020
(documentation Precipitation EnglishLanguage "Precipitation is the process of water molecules falling from the air to the ground, in either a liquid or frozen state.")	Merge.kif 11347-11349
(documentation Precipitation JapaneseLanguage "Precipitation は、液体または凍結状態のいずれかで、空気から地面に落下する水分子のプロセスである。")	japanese_format.kif 1784-1785
(subclass Precipitation Falling)	Merge.kif 11345-11345	Precipitation is a subclass of falling
(subclass Precipitation WaterMotion)	Merge.kif 11344-11344	Precipitation is a subclass of water motion
(subclass Precipitation WeatherProcess)	Merge.kif 11343-11343	Precipitation is a subclass of weather process

appearance as argument number 2

(subclass FreezingRain Precipitation)	Weather.kif 1309-1309	Freezing rain is a subclass of precipitation
(subclass Hailing Precipitation)	Weather.kif 1409-1409	Hailing is a subclass of precipitation
(subclass Raining Precipitation)	Weather.kif 1277-1277	Raining is a subclass of precipitation
(subclass Sleeting Precipitation)	Weather.kif 1386-1386	Sleeting is a subclass of precipitation
(subclass Snowing Precipitation)	Weather.kif 1370-1370	Snowing is a subclass of precipitation
(termFormat ChineseLanguage Precipitation "沉淀")	domainEnglishFormat.kif 47110-47110	Snowing is a subclass of precipitation
(termFormat ChineseTraditionalLanguage Precipitation "沉澱")	domainEnglishFormat.kif 47109-47109	Snowing is a subclass of precipitation
(termFormat EnglishLanguage Precipitation "precipitation")	domainEnglishFormat.kif 47108-47108	Snowing is a subclass of precipitation

appearance as argument number 3

(domain precipitationAmount 1 Precipitation)	Weather.kif 1447-1447	The number 1 argument of precipitation amount is an instance of precipitation
(domain precipitationRate 1 Precipitation)	Weather.kif 1438-1438	The number 1 argument of precipitation rate is an instance of precipitation

antecedent

(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))

Merge.kif 11351-11356

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

(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (modalAttribute (exists (?P ?AREA) (and (instance ?P Precipitation) (instance ?AREA GeographicArea) (eventLocated ?P ?AREA) (subProcess ?P ?STORM))) Likely)))	Weather.kif 3618-3628	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 the other entity and the entity is a subprocess of the physical has the modal force of likely holds during the time of existence of the physical
(=> (instance ?W CoastalChinookWind) (holdsDuring (WhenFn ?W) (exists (?P) (and (instance ?P Precipitation) (subProcess ?P ?W)))))	Weather.kif 1700-1707	If a physical is an instance of CoastalChinookWind, then there exists an entity such that the entity is an instance of precipitation and the entity is a subprocess of the physical holds during the time of existence of the physical
(=> (relativeHumidity ?PLACE 1.0) (exists (?FALLING) (and (instance ?FALLING Precipitation) (eventLocated ?FALLING ?PLACE))))	Weather.kif 1268-1273	If 1.0 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 the object

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

KB Term:			Term intersection

English Word: