OccludedFront - Sigma Knowledge base Browser

appearance as argument number 1

(subclass OccludedFront WeatherFront)	Weather.kif 1336-1336	Occluded front is a subclass of weather front
(documentation OccludedFront EnglishLanguage "OccludedFront is the class of complex weather transition processes in which a cold air mass overtakes a warm air mass.")	Weather.kif 1338-1340	Occluded front is a subclass of weather front
(externalImage OccludedFront "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Occluded_front_symbol.svg")	pictureList.kif 2499-2499	Occluded front is a subclass of weather front
(externalImage OccludedFront "http://upload.wikimedia.org/wikipedia/en/5/ 5b/ Occludedcyclone.gif")	pictureList.kif 2603-2603	Occluded front is a subclass of weather front

appearance as argument number 2

(termFormat EnglishLanguage OccludedFront "occluded front")	domainEnglishFormat.kif 41589-41589
(termFormat ChineseTraditionalLanguage OccludedFront "囚锢锋")	domainEnglishFormat.kif 41590-41590
(termFormat ChineseLanguage OccludedFront "锢囚锋")	domainEnglishFormat.kif 41591-41591

antecedent

(=>
    (and
        (instance ?OF OccludedFront)
        (instance ?C AirMass)
        (origin ?OF ?C)
        (airTemperature ?C
            (MeasureFn ?X CelsiusDegree))
        (instance ?W AirMass)
        (airTemperature ?W
            (MeasureFn ?Y CelsiusDegree))
        (lessThan ?X ?Y)
        (moves ?OF ?W))
    (orientation ?C ?W Below))

If All of the following hold: (1) X is an instance of occluded front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) V celsius degree(s) is an air temperature of W (7) Z is less than V (8) W moves during X, then Y is below to W