Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RiverMouth
RiverMouth

appearance as argument number 1
-------------------------


(documentation RiverMouth EnglishLanguage "RiverMouth is the subclass of WaterAreas that are the outfalls of a river or stream into another body of water.") Geography.kif 5349-5350
(externalImage RiverMouth "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ Klamath_River_mouth_aerial_view.jpg") pictureList.kif 1499-1499
(subclass RiverMouth StreamWaterArea) Geography.kif 5347-5347
(subclass RiverMouth WaterArea) Geography.kif 5346-5346

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage RiverMouth "河口") domainEnglishFormat.kif 50042-50042
(termFormat ChineseTraditionalLanguage RiverMouth "河口") domainEnglishFormat.kif 50041-50041
(termFormat EnglishLanguage RiverMouth "river mouth") domainEnglishFormat.kif 50040-50040

consequent
-------------------------


(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5352-5361
(=>
    (instance ?Delta Delta)
    (exists (?Mouth)
        (and
            (instance ?Mouth RiverMouth)
            (meetsSpatially ?Mouth ?Delta))))
Geography.kif 5473-5478
(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 4895-4900


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners