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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 11231-11233
(documentation Precipitation JapaneseLanguage "Precipitation は、液体または凍結状態のいずれ かで、空気から地面に落下する水分子のプロセスである。") japanese_format.kif 1784-1785
(subclass Precipitation Falling) Merge.kif 11229-11229
(subclass Precipitation WaterMotion) Merge.kif 11228-11228
(subclass Precipitation WeatherProcess) Merge.kif 11227-11227

appearance as argument number 2

(subclass FreezingRain Precipitation) Weather.kif 1070-1070
(subclass Hailing Precipitation) Weather.kif 1170-1170
(subclass Raining Precipitation) Weather.kif 1038-1038
(subclass Sleeting Precipitation) Weather.kif 1147-1147
(subclass Snowing Precipitation) Weather.kif 1131-1131
(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 1208-1208
(domain precipitationRate 1 Precipitation) Weather.kif 1199-1199


    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))
Merge.kif 11235-11240


    (instance ?STORM Storm)
        (WhenFn ?STORM)
            (exists (?P ?AREA)
                    (instance ?P Precipitation)
                    (instance ?AREA GeographicArea)
                    (eventLocated ?P ?AREA)
                    (subProcess ?P ?STORM))) Likely)))
Weather.kif 2889-2899
    (relativeHumidity ?PLACE 1.0)
    (exists (?FALLING)
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 1029-1034

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