| 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 62637-62637 | |
| (termFormat ChineseTraditionalLanguage WeatherSystem "天氣系統") | domainEnglishFormat.kif 62636-62636 | |
| (termFormat EnglishLanguage WeatherSystem "weather system") | domainEnglishFormat.kif 62635-62635 |
| 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