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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeatherProcess
WeatherProcess

appearance as argument number 1
-------------------------


(disjoint WeatherProcess IntentionalProcess) Merge.kif 11232-11232
(documentation WeatherProcess ChineseLanguage "WeatherProcess 是涉及天气意义最宽博的过程类别, 它包括天气季节(请不要和 SeasonOfYear 的实例混淆),天气系统和短期天气事件。") chinese_format.kif 3017-3018
(documentation WeatherProcess EnglishLanguage "WeatherProcess is the broadest class of processes that involve weather, including weather seasons (not to be confused with instances of SeasonOfYear), weather systems, and short-term weather events.") Merge.kif 11234-11237
(documentation WeatherProcess JapaneseLanguage "WeatherProcess は、気象シーズンを含む最も 広範なプロセスクラスである (SeasonOfYear、気象システム、短期気象イベントのインスタンスと混同し ないよう注意)。") japanese_format.kif 1781-1783
(externalImage WeatherProcess "http://articulatesoftware.com/SUMOpictures/ weather/ showers.png") pictureList.kif 2060-2060
(externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Polarlicht.jpg") pictureList.kif 8793-8793
(externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Rolling-thunder-cloud.jpg") pictureList.kif 9812-9812
(subclass WeatherProcess Motion) Merge.kif 11231-11231

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


(subclass AtmosphericHazing WeatherProcess) Weather.kif 2545-2545
(subclass ClearWeather WeatherProcess) Weather.kif 861-861
(subclass Desertification WeatherProcess) Weather.kif 2467-2467
(subclass Drought WeatherProcess) Weather.kif 2449-2449
(subclass Fogging WeatherProcess) Weather.kif 2516-2516
(subclass Frosting WeatherProcess) Weather.kif 2762-2762
(subclass HeavySurf WeatherProcess) Weather.kif 1537-1537
(subclass Icing WeatherProcess) Weather.kif 2494-2494
(subclass Lightning WeatherProcess) Mid-level-ontology.kif 3031-3031
(subclass OvercastWeather WeatherProcess) Weather.kif 911-911
(subclass PartlyCloudyWeather WeatherProcess) Weather.kif 884-884
(subclass Precipitation WeatherProcess) Merge.kif 11239-11239
(subclass Storm WeatherProcess) Weather.kif 2872-2872
(subclass StormSystem WeatherProcess) Weather.kif 794-794
(subclass Thunder WeatherProcess) Mid-level-ontology.kif 3043-3043
(subclass Tsunami WeatherProcess) Weather.kif 2442-2442
(subclass Waterspout WeatherProcess) Weather.kif 828-828
(subclass WeatherFront WeatherProcess) Weather.kif 796-796
(subclass WeatherSeason WeatherProcess) Weather.kif 491-491
(subclass WeatherSystem WeatherProcess) Weather.kif 509-509
(subclass Wind WeatherProcess) Weather.kif 1225-1225
(subclass Zud WeatherProcess) Weather.kif 1313-1313
(termFormat ChineseLanguage WeatherProcess "天气过程") domainEnglishFormat.kif 62638-62638
(termFormat ChineseTraditionalLanguage WeatherProcess "天氣過程") domainEnglishFormat.kif 62637-62637
(termFormat EnglishLanguage WeatherProcess "weather process") domainEnglishFormat.kif 62636-62636

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain precipitationState 1 WeatherProcess) Weather.kif 1170-1170
(domainSubclass weatherThreat 1 WeatherProcess) Weather.kif 3209-3209

consequent
-------------------------


(=>
    (instance ?WA WeatherAssessment)
    (containsFormula ?WA
        (exists (?R ?A ?WP)
            (and
                (instance ?R Reasoning)
                (instance ?A CognitiveAgent)
                (agent ?R ?A)
                (instance ?WP WeatherProcess)
                (patient ?R ?WP)
                (result ?R ?WA)
                (earlier
                    (WhenFn ?WP)
                    (WhenFn ?WA))))))
Weather.kif 3173-3184
(=>
    (instance ?WF WeatherForecast)
    (containsInformation ?WF
        (exists (?A)
            (believes ?A
                (exists (?WP)
                    (and
                        (instance ?WP WeatherProcess)
                        (during
                            (ImmediateFutureFn
                                (WhenFn ?WF))
                            (WhenFn ?WP))))))))
Weather.kif 3192-3202


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