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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Precipitation

Sigma KEE - Precipitation
Precipitation

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 11209-11211
(documentation Precipitation JapaneseLanguage "Precipitation は、液体または凍結状態のいずれ かで、空気から地面に落下する水分子のプロセスである。") japanese_format.kif 1784-1785
(subclass Precipitation Falling) Merge.kif 11207-11207 Precipitation est une sous-classe de Falling
(subclass Precipitation WaterMotion) Merge.kif 11206-11206 Precipitation est une sous-classe de WaterMotion
(subclass Precipitation WeatherProcess) Merge.kif 11205-11205 Precipitation est une sous-classe de WeatherProcess

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


(subclass FreezingRain Precipitation) Weather.kif 1074-1074 FreezingRain est une sous-classe de Precipitation
(subclass Hailing Precipitation) Weather.kif 1174-1174 Hailing est une sous-classe de Precipitation
(subclass Raining Precipitation) Weather.kif 1042-1042 Raining est une sous-classe de Precipitation
(subclass Sleeting Precipitation) Weather.kif 1151-1151 Sleeting est une sous-classe de Precipitation
(subclass Snowing Precipitation) Weather.kif 1135-1135 Snowing est une sous-classe de Precipitation
(termFormat ChineseLanguage Precipitation "沉淀") domainEnglishFormat.kif 47108-47108
(termFormat ChineseTraditionalLanguage Precipitation "沉澱") domainEnglishFormat.kif 47107-47107
(termFormat EnglishLanguage Precipitation "precipitation") domainEnglishFormat.kif 47106-47106

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


(domain precipitationAmount 1 Precipitation) Weather.kif 1212-1212 Le nombre 1 argument de precipitationAmount est une instance de Precipitation
(domain precipitationRate 1 Precipitation) Weather.kif 1203-1203 Le nombre 1 argument de precipitationRate est une instance de Precipitation

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


(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))
Merge.kif 11213-11218

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 2893-2903
(=>
    (relativeHumidity ?PLACE 1.0)
    (exists (?FALLING)
        (and
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 1033-1038


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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