TreeView Knowledge Base Browser

appearance as argument number 1

(subclass StationaryFront WeatherFront)	Weather.kif 1356-1356	Stationary front is a subclass of weather front
(documentation StationaryFront EnglishLanguage "StationaryFront is the class of boundary areas between two air masses that are stationary, with neither air mass presently replacing the other.")	Weather.kif 1358-1360	Stationary front is a subclass of weather front
(externalImage StationaryFront "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Surface_analysis.gif")	pictureList.kif 2534-2534	Stationary front is a subclass of weather front

appearance as argument number 2

(termFormat EnglishLanguage StationaryFront "stationary front")	domainEnglishFormat.kif 55147-55147
(termFormat ChineseTraditionalLanguage StationaryFront "静止锋")	domainEnglishFormat.kif 55148-55148
(termFormat ChineseLanguage StationaryFront "静止锋")	domainEnglishFormat.kif 55149-55149

antecedent

(=>
    (and
        (instance ?SF StationaryFront)
        (eventLocated ?SF ?F)
        (instance ?F AirStream))
    (holdsDuring
        (WhenFn ?SF)
        (not
            (exists (?T)
                (and
                    (subProcess ?T ?SF)
                    (instance ?T Translocation)
                    (moves ?T ?F))))))

Weather.kif 1362-1374

If X is an instance of stationary front, X is located at Y, and Y is an instance of air stream, then there doesn't exist Z such that Z is a subprocess of X, Z is an instance of translocation, and Y moves during Z holds during the time of existence of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: