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 10811-10813
(subclass Precipitation Falling) Merge.kif 10809-10809
(subclass Precipitation WaterMotion) Merge.kif 10808-10808
(subclass Precipitation WeatherProcess) Merge.kif 10807-10807

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


(subclass FreezingRain Precipitation) Weather.kif 1074-1074
(subclass Hailing Precipitation) Weather.kif 1174-1174
(subclass Raining Precipitation) Weather.kif 1043-1043
(subclass Sleeting Precipitation) Weather.kif 1151-1151
(subclass Snowing Precipitation) Weather.kif 1135-1135
(termFormat ChineseLanguage Precipitation "沉淀") domainEnglishFormat.kif 47091-47091
(termFormat ChineseTraditionalLanguage Precipitation "沉澱") domainEnglishFormat.kif 47090-47090
(termFormat EnglishLanguage Precipitation "precipitation") domainEnglishFormat.kif 47089-47089

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


(domain precipitationAmount 1 Precipitation) Weather.kif 1212-1212
(domain precipitationRate 1 Precipitation) Weather.kif 1203-1203

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


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

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 2888-2898
(=>
    (relativeHumidity ?PLACE 1)
    (exists (?FALLING)
        (and
            (instance ?FALLING Precipitation)
            (eventLocated ?FALLING ?PLACE))))
Weather.kif 1034-1039


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