Precipitation - Sigma Knowledge base Browser

appearance as argument number 3

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

antecedent

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

If X is an instance of precipitation, then there exists Y such that Y is an instance of water and Y is a patient of X

consequent

(=> (relativeHumidity ?PLACE 1.0) (exists (?FALLING) (and (instance ?FALLING Precipitation) (eventLocated ?FALLING ?PLACE))))	Weather.kif 1710-1715	If 1.0 is a relative humidity of X, then there exists Y such that Y is an instance of precipitation and Y is located at X
(=> (instance ?W CoastalChinookWind) (holdsDuring (WhenFn ?W) (exists (?P) (and (instance ?P Precipitation) (subProcess ?P ?W)))))	Weather.kif 2145-2152	If X is an instance of coastal chinook wind, then there exists Y such that Y is an instance of precipitation and Y is a subprocess of X holds during the time of existence of X
(=> (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 4161-4171	If X is an instance of storm, then the statement there exist Y, Z such that Y is an instance of precipitation, Z is an instance of geographic area, Y is located at Z, and Y is a subprocess of X has the modal force of likely holds during the time of existence of X

(subclass Precipitation WeatherProcess)	Merge.kif 11457-11457	Precipitation is a subclass of weather process
(subclass Precipitation WaterMotion)	Merge.kif 11458-11458	Precipitation is a subclass of water motion
(subclass Precipitation Falling)	Merge.kif 11459-11459	Precipitation is a subclass of falling
(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 11461-11463	Precipitation is a subclass of falling

(subclass Raining Precipitation)	Weather.kif 1719-1719	Raining is a subclass of precipitation
(subclass FreezingRain Precipitation)	Weather.kif 1751-1751	Freezing rain is a subclass of precipitation
(subclass Snowing Precipitation)	Weather.kif 1815-1815	Snowing is a subclass of precipitation
(subclass Sleeting Precipitation)	Weather.kif 1831-1831	Sleeting is a subclass of precipitation
(subclass Hailing Precipitation)	Weather.kif 1854-1854	Hailing is a subclass of precipitation
(termFormat EnglishLanguage Precipitation "precipitation")	domainEnglishFormat.kif 47101-47101	Hailing is a subclass of precipitation
(termFormat ChineseTraditionalLanguage Precipitation "沉澱")	domainEnglishFormat.kif 47102-47102	Hailing is a subclass of precipitation
(termFormat ChineseLanguage Precipitation "沉淀")	domainEnglishFormat.kif 47103-47103	Hailing is a subclass of precipitation