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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 天气系统天气过程subclass

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


(subclass HighPressureWeatherSystem WeatherSystem) Weather.kif 796-796 高压天气系统天气系统subclass
(subclass LowPressureWeatherSystem WeatherSystem) Weather.kif 540-540 低压天气系统天气系统subclass
(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 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