|
|
   WeatherSystem
|
|
|
| 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 | WeatherSystem e' uma sub-classe de WeatherProcess |
| appearance as argument number 2 |
|
|
| (subclass HighPressureWeatherSystem WeatherSystem) | Weather.kif 780-780 | HighPressureWeatherSystem e' uma sub-classe de WeatherSystem |
| (subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 528-528 | LowPressureWeatherSystem e' uma sub-classe de WeatherSystem |
| (termFormat ChineseLanguage WeatherSystem "天气系统") | domainEnglishFormat.kif 62627-62627 | |
| (termFormat ChineseTraditionalLanguage WeatherSystem "天氣系統") | domainEnglishFormat.kif 62626-62626 | |
| (termFormat EnglishLanguage WeatherSystem "weather system") | domainEnglishFormat.kif 62625-62625 |
| antecedent |
|
|
| (=> (instance ?WS WeatherSystem) (exists (?MOVE ?WF) (and (instance ?MOVE Translocation) (instance ?WF WindFlow) (patient ?MOVE ?WF) (subProcess ?MOVE ?WS)))) |
Weather.kif 511-518 |
|
|
|