Waterfall - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Waterfall StreamWaterArea)	Geography.kif 7167-7167	Waterfall is a subclass of stream water area
(documentation Waterfall EnglishLanguage "Waterfall is the subclass of StreamWaterAreas where running water falls steeply downhill.")	Geography.kif 7169-7171	Waterfall is a subclass of stream water area

appearance as argument number 2

(termFormat EnglishLanguage Waterfall "waterfall")	domainEnglishFormat.kif 62398-62398
(termFormat ChineseTraditionalLanguage Waterfall "瀑布")	domainEnglishFormat.kif 62399-62399
(termFormat ChineseLanguage Waterfall "瀑布")	domainEnglishFormat.kif 62400-62400

antecedent

(=>
    (and
        (instance ?FALL Waterfall)
        (instance ?CURRENT WaterMotion)
        (flowCurrent ?CURRENT ?FALL)
        (origin ?CURRENT ?TOP)
        (destination ?CURRENT ?BOTTOM)
        (instance ?TOP WaterArea)
        (instance ?BOTTOM WaterArea))
    (orientation ?TOP ?BOTTOM Above))

If All of the following hold: (1) X is an instance of waterfall (2) Y is an instance of water motion (3) X is a flow current of Y (4) Y originates at Z (5) Y ends up at W (6) Z is an instance of water area (7) W is an instance of water area, then Z is above to W