WeatherSystem - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass HighPressureWeatherSystem WeatherSystem)	Weather.kif 780-780	High pressure weather system is a subclass of weather system
(subclass LowPressureWeatherSystem WeatherSystem)	Weather.kif 528-528	Low pressure weather system is a subclass of weather system
(termFormat ChineseLanguage WeatherSystem "天气系统")	domainEnglishFormat.kif 62673-62673	Low pressure weather system is a subclass of weather system
(termFormat ChineseTraditionalLanguage WeatherSystem "天氣系統")	domainEnglishFormat.kif 62672-62672	Low pressure weather system is a subclass of weather system
(termFormat EnglishLanguage WeatherSystem "weather system")	domainEnglishFormat.kif 62671-62671	Low pressure weather system is a subclass of weather system

antecedent

(=>
    (instance ?WS WeatherSystem)
    (exists (?MOVE ?WF)
        (and
            (instance ?MOVE Translocation)
            (instance ?WF WindFlow)
            (patient ?MOVE ?WF)
            (subProcess ?MOVE ?WS))))

Weather.kif 511-518