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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeatherSystem
WeatherSystem(weather system)

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 Weather system is a subclass of weather process

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


(subclass HighPressureWeatherSystem WeatherSystem) Weather.kif 796-796 High pressure weather system is a subclass of weather system
(subclass LowPressureWeatherSystem WeatherSystem) Weather.kif 540-540 Low pressure weather system is a subclass of weather system
(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