Basin - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Basin LandForm)	Geography.kif 5747-5747	Basin is a subclass of land form
(documentation Basin EnglishLanguage "A Basin is an area of land enclosed or partially enclosed by higher land.")	Geography.kif 5748-5749	Basin is a subclass of land form
(externalImage Basin "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Ohiorivermap.png")	pictureList.kif 2939-2939	Basin is a subclass of land form
(externalImage Basin "http://upload.wikimedia.org/wikipedia/commons/b/bd/ Mississippi_River_basin.jpg")	pictureList.kif 3045-3045	Basin is a subclass of land form
(externalImage Basin "http://upload.wikimedia.org/wikipedia/commons/3/37/ Sudbury_Wanapitei_WorldWind.jpg")	pictureList.kif 3046-3046	Basin is a subclass of land form

appearance as argument number 2

(subclass EndorheicBasin Basin)	Geography.kif 463-463	Endorheic basin is a subclass of basin
(termFormat EnglishLanguage Basin "basin")	domainEnglishFormat.kif 10114-10114	Endorheic basin is a subclass of basin
(termFormat ChineseTraditionalLanguage Basin "盆地")	domainEnglishFormat.kif 10115-10115	Endorheic basin is a subclass of basin
(termFormat ChineseLanguage Basin "盆地")	domainEnglishFormat.kif 10116-10116	Endorheic basin is a subclass of basin

antecedent

(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?basin
            (MeasureFn ?height1 ?U))
        (earthAltitude ?area
            (MeasureFn ?height2 ?U))
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))

If All of the following hold: (1) X is an instance of basin (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W