TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ColdFront WeatherFront)	Weather.kif 1316-1316	Cold front is a subclass of weather front
(disjoint ColdFront WarmFront)	Weather.kif 1317-1317	Cold front is disjoint from warm front
(documentation ColdFront EnglishLanguage "ColdFront is the class of transitional weather processes occurring between a cold air mass that is advancing upon a warm air mass. It lies within a pronounced surface trough of low pressure.[Wikipedia]")	Weather.kif 1319-1321	Cold front is disjoint from warm front
(externalImage ColdFront "http://upload.wikimedia.org/wikipedia/commons/ c/ c0/ Cold_front_symbol.svg")	pictureList.kif 2449-2449	Cold front is disjoint from warm front

appearance as argument number 2

(termFormat EnglishLanguage ColdFront "cold front")	domainEnglishFormat.kif 15542-15542
(termFormat ChineseTraditionalLanguage ColdFront "冷鋒")	domainEnglishFormat.kif 15543-15543
(termFormat ChineseLanguage ColdFront "冷锋")	domainEnglishFormat.kif 15544-15544

antecedent

(=>
    (and
        (instance ?CF ColdFront)
        (instance ?C AirMass)
        (origin ?CF ?C)
        (airTemperature ?C
            (MeasureFn ?X CelsiusDegree))
        (instance ?W AirMass)
        (path ?W ?W)
        (airTemperature ?W
            (MeasureFn ?Y CelsiusDegree)))
    (lessThan ?X ?Y))

If All of the following hold: (1) X is an instance of cold 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) W is path along which W occurs (7) V celsius degree(s) is an air temperature of W, then Z is less than V