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 11321-11321 WeatherProcess est disjoint de processus intentionnel
(documentation WeatherProcess ChineseLanguage "WeatherProcess 是涉及天气意义最宽博的过程类别, 它包括天气季节(请不要和 SeasonOfYear 的实例混淆),天气系统和短期天气事件。") chinese_format.kif 3017-3018 WeatherProcess est disjoint de processus intentionnel
(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 11323-11326 WeatherProcess est disjoint de processus intentionnel
(documentation WeatherProcess JapaneseLanguage "WeatherProcess は、気象シーズンを含む最も 広範なプロセスクラスである (SeasonOfYear、気象システム、短期気象イベントのインスタンスと混同し ないよう注意)。") japanese_format.kif 1781-1783 WeatherProcess est disjoint de processus intentionnel
(externalImage WeatherProcess "http://articulatesoftware.com/SUMOpictures/ weather/ showers.png") pictureList.kif 2060-2060 WeatherProcess est disjoint de processus intentionnel
(externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Polarlicht.jpg") pictureList.kif 8793-8793 WeatherProcess est disjoint de processus intentionnel
(externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Rolling_thunder_cloud.jpg") pictureList.kif 9812-9812 WeatherProcess est disjoint de processus intentionnel
(subclass WeatherProcess Motion) Merge.kif 11320-11320 WeatherProcess est une sous-classe de d�palcement

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


(subclass AtmosphericHazing WeatherProcess) Weather.kif 2544-2544 AtmosphericHazing est une sous-classe de WeatherProcess
(subclass ClearWeather WeatherProcess) Weather.kif 861-861 ClearWeather est une sous-classe de WeatherProcess
(subclass Desertification WeatherProcess) Weather.kif 2466-2466 Desertification est une sous-classe de WeatherProcess
(subclass Drought WeatherProcess) Weather.kif 2448-2448 Drought est une sous-classe de WeatherProcess
(subclass Fogging WeatherProcess) Weather.kif 2515-2515 Fogging est une sous-classe de WeatherProcess
(subclass Frosting WeatherProcess) Weather.kif 2761-2761 Frosting est une sous-classe de WeatherProcess
(subclass HeavySurf WeatherProcess) Weather.kif 1536-1536 HeavySurf est une sous-classe de WeatherProcess
(subclass Icing WeatherProcess) Weather.kif 2493-2493 Icing est une sous-classe de WeatherProcess
(subclass Lightning WeatherProcess) Mid-level-ontology.kif 3500-3500 Lightning est une sous-classe de WeatherProcess
(subclass OvercastWeather WeatherProcess) Weather.kif 911-911 OvercastWeather est une sous-classe de WeatherProcess
(subclass PartlyCloudyWeather WeatherProcess) Weather.kif 884-884 PartlyCloudyWeather est une sous-classe de WeatherProcess
(subclass Precipitation WeatherProcess) Merge.kif 11328-11328 Precipitation est une sous-classe de WeatherProcess
(subclass Storm WeatherProcess) Weather.kif 2872-2872 Storm est une sous-classe de WeatherProcess
(subclass StormSystem WeatherProcess) Weather.kif 794-794 StormSystem est une sous-classe de WeatherProcess
(subclass Thunder WeatherProcess) Mid-level-ontology.kif 3512-3512 Thunder est une sous-classe de WeatherProcess
(subclass Tsunami WeatherProcess) Weather.kif 2441-2441 Tsunami est une sous-classe de WeatherProcess
(subclass Waterspout WeatherProcess) Weather.kif 828-828 Waterspout est une sous-classe de WeatherProcess
(subclass WeatherFront WeatherProcess) Weather.kif 796-796 WeatherFront est une sous-classe de WeatherProcess
(subclass WeatherSeason WeatherProcess) Weather.kif 491-491 WeatherSeason est une sous-classe de WeatherProcess
(subclass WeatherSystem WeatherProcess) Weather.kif 509-509 WeatherSystem est une sous-classe de WeatherProcess
(subclass Wind WeatherProcess) Weather.kif 1225-1225 Wind est une sous-classe de WeatherProcess
(subclass Zud WeatherProcess) Weather.kif 1313-1313 Zud est une sous-classe de WeatherProcess
(termFormat ChineseLanguage WeatherProcess "天气过程") domainEnglishFormat.kif 62636-62636 Zud est une sous-classe de WeatherProcess
(termFormat ChineseTraditionalLanguage WeatherProcess "天氣過程") domainEnglishFormat.kif 62635-62635 Zud est une sous-classe de WeatherProcess
(termFormat EnglishLanguage WeatherProcess "weather process") domainEnglishFormat.kif 62634-62634 Zud est une sous-classe de WeatherProcess

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 Le nombre 1 argument de precipitationState est une instance de WeatherProcess
(domainSubclass weatherThreat 1 WeatherProcess) Weather.kif 3211-3211 Le nombre 1 argument de weatherThreat est une sous-classe de WeatherProcess

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 3175-3186
(=>
    (instance ?WF WeatherForecast)
    (containsInformation ?WF
        (exists (?A)
            (believes ?A
                (exists (?WP)
                    (and
                        (instance ?WP WeatherProcess)
                        (during
                            (ImmediateFutureFn
                                (WhenFn ?WF))
                            (WhenFn ?WP))))))))
Weather.kif 3194-3204


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