EndorheicBasin - Sigma Knowledge base Browser

appearance as argument number 1

(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
(subclass EndorheicBasin Basin)	Geography.kif 463-463	EndorheicBasin is a subclass of Basin

appearance as argument number 2

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

antecedent

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

Geography.kif 470-479