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 | WeatherSystem ist eine teilkategorie von WeatherProcess |
appearance as argument number 2 |
(subclass HighPressureWeatherSystem WeatherSystem) | Weather.kif 792-792 | HighPressureWeatherSystem ist eine teilkategorie von WeatherSystem |
(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | LowPressureWeatherSystem ist eine teilkategorie von WeatherSystem |
(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 |
|