| appearance as argument number 1 |
|
| (documentation WeatherSystem ChineseLanguage "天气系统 WeatherSystem 是在地球大气层 EarthsAtmosphere 上流动的大气气流 WindFlow，这些运动又名为 低气压天气系统 LowPressureWeatherSystems 和 高气压天气系统 HighPressureWeatherSystem。") | Weather.kif 505-508 | |
| (documentation WeatherSystem EnglishLanguage "WeatherSystems are the movement of WindFlows across the EarthsAtmosphere. These movements are known as LowPressureWeatherSystems and HighPressureWeatherSystem.") | Weather.kif 502-504 | |
| (subclass WeatherSystem WeatherProcess) | Weather.kif 509-509 |
| appearance as argument number 2 |
|
|
| (subclass HighPressureWeatherSystem WeatherSystem) | Weather.kif 780-780 | |
| (subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 528-528 | |
| (termFormat ChineseLanguage WeatherSystem "天气系统") | domainEnglishFormat.kif 62648-62648 | |
| (termFormat ChineseTraditionalLanguage WeatherSystem "天氣系統") | domainEnglishFormat.kif 62647-62647 | |
| (termFormat EnglishLanguage WeatherSystem "weather system") | domainEnglishFormat.kif 62646-62646 |
| antecedent |
|
|
| (=> (instance ?WS WeatherSystem) (exists (?MOVE ?WF) (and (instance ?MOVE Translocation) (instance ?WF WindFlow) (patient ?MOVE ?WF) (subProcess ?MOVE ?WS)))) |
Weather.kif 511-518 |
|
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