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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WeatherSystem

Sigma KEE - WeatherSystem
WeatherSystem

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


(documentation WeatherSystem ChineseLanguage "天气系统 WeatherSystem 是在地球大气层 EarthsAtmosphere 上流动的大气气流 WindFlow,这些运动又名为 低气压天气系统 LowPressureWeatherSystems 和 高气压天气系统 HighPressureWeatherSystem。") Weather.kif 517-520
(documentation WeatherSystem EnglishLanguage "WeatherSystems are the movement of WindFlows across the EarthsAtmosphere. These movements are known as LowPressureWeatherSystems and HighPressureWeatherSystem.") Weather.kif 514-516
(subclass WeatherSystem WeatherProcess) Weather.kif 521-521

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


(subclass HighPressureWeatherSystem WeatherSystem) Weather.kif 796-796
(subclass LowPressureWeatherSystem WeatherSystem) Weather.kif 540-540
(termFormat ChineseLanguage WeatherSystem "天气系统") domainEnglishFormat.kif 62625-62625
(termFormat ChineseTraditionalLanguage WeatherSystem "天氣系統") domainEnglishFormat.kif 62624-62624
(termFormat EnglishLanguage WeatherSystem "weather system") domainEnglishFormat.kif 62623-62623

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


(=>
    (instance ?WS WeatherSystem)
    (exists (?MOVE ?WF)
        (and
            (instance ?MOVE Translocation)
            (instance ?WF WindFlow)
            (patient ?MOVE ?WF)
            (subProcess ?MOVE ?WS))))
Weather.kif 523-530


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