EndorheicBasin - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EndorheicBasin Basin)	Geography.kif 463-463	Endorheic basin is a subclass of basin
(documentation EndorheicBasin EnglishLanguage "An EndorheicBasin is a drainage Basin that normally retains water and allows no outflow to other external BodyOfWater (such as Rivers and Oceans). Instead, the water drainage flows into permanent and seasonal lakes and swamps that equilibrate through evaporation.[Wikipedia]")	Geography.kif 464-467	Endorheic basin is a subclass of basin

appearance as argument number 2

(termFormat EnglishLanguage EndorheicBasin "endorheic basin")	Geography.kif 468-468
(instance GreatBasin EndorheicBasin)	Geography.kif 481-481	Great Basin is an instance of endorheic basin
(instance BadwaterBasin EndorheicBasin)	Geography.kif 521-521	Badwater Basin is an instance of endorheic basin

antecedent

(=>
    (and
        (instance ?B EndorheicBasin)
        (instance ?R River)
        (located ?R ?B))
    (not
        (exists (?OUT)
            (and
                (instance ?OUT BodyOfWater)
                (flows ?R ?OUT)))))

If X is an instance of endorheic basin, Y is an instance of river, and Y is located at X, then there doesn't exist Z such that Z is an instance of body of water and Z is a flows of Y