WeatherSystem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WeatherSystem EnglishLanguage "WeatherSystems are the movement of WindFlows across the EarthsAtmosphere. These movements are known as LowPressureWeatherSystems and HighPressureWeatherSystem.")	Weather.kif 942-944
(documentation WeatherSystem ChineseLanguage "天气系统 WeatherSystem 是在地球大气层 EarthsAtmosphere 上流动的大气气流 WindFlow，这些运动又名为低气压天气系统 LowPressureWeatherSystems 和高气压天气系统 HighPressureWeatherSystem。")	Weather.kif 945-948
(subclass WeatherSystem WeatherProcess)	Weather.kif 949-949	Weather system is a subclass of weather process

appearance as argument number 2

(subclass LowPressureWeatherSystem WeatherSystem)	Weather.kif 968-968	Low pressure weather system is a subclass of weather system
(subclass HighPressureWeatherSystem WeatherSystem)	Weather.kif 1221-1221	High pressure weather system is a subclass of weather system
(termFormat EnglishLanguage WeatherSystem "weather system")	domainEnglishFormat.kif 62626-62626	High pressure weather system is a subclass of weather system
(termFormat ChineseTraditionalLanguage WeatherSystem "天氣系統")	domainEnglishFormat.kif 62627-62627	High pressure weather system is a subclass of weather system
(termFormat ChineseLanguage WeatherSystem "天气系统")	domainEnglishFormat.kif 62628-62628	High 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))))

If X is an instance of weather system, then there exist Y, Z such that Y is an instance of translocation, Z is an instance of wind flow, Z is a patient of Y, and Y is a subprocess of X