WeatherFront - Sigma Knowledge base Browser

appearance as argument number 1

(subclass WeatherFront WeatherProcess)	Weather.kif 1238-1238	Weather front is a subclass of weather process
(documentation WeatherFront EnglishLanguage "WeatherFront is the class of weather processes that involve relationships between two air masses. A weather front is a boundary separating air masses for which several characteristics differ, such as air density, wind, temperature, and humidity. Disturbed and unstable weather due to these differences often arises along the boundary. [Wikipedia]")	Weather.kif 1240-1244	Weather front is a subclass of weather process
(externalImage WeatherFront "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ NWS_weather_fronts.svg")	pictureList.kif 3035-3035	Weather front is a subclass of weather process

appearance as argument number 2

(subclass WarmFront WeatherFront)	Weather.kif 1297-1297	Warm front is a subclass of weather front
(subclass ColdFront WeatherFront)	Weather.kif 1316-1316	Cold front is a subclass of weather front
(subclass OccludedFront WeatherFront)	Weather.kif 1336-1336	Occluded front is a subclass of weather front
(subclass StationaryFront WeatherFront)	Weather.kif 1356-1356	Stationary front is a subclass of weather front
(termFormat EnglishLanguage WeatherFront "weather front")	domainEnglishFormat.kif 62608-62608	Stationary front is a subclass of weather front
(termFormat ChineseTraditionalLanguage WeatherFront "锋")	domainEnglishFormat.kif 62609-62609	Stationary front is a subclass of weather front
(termFormat ChineseLanguage WeatherFront "锋")	domainEnglishFormat.kif 62610-62610	Stationary front is a subclass of weather front

antecedent

(=>
    (and
        (instance ?W WeatherFront)
        (instance ?F AirStream)
        (eventLocated ?W ?F)
        (connects ?F ?A ?B)
        (instance ?A AirMass)
        (instance ?B AirMass))
    (not
        (equal ?A ?B)))

If All of the following hold: (1) X is an instance of weather front (2) Y is an instance of air stream (3) X is located at Y (4) Y connects Z and W (5) Z is an instance of air mass (6) W is an instance of air mass, then equal Z and W