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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RiverMouth

Sigma KEE - RiverMouth
RiverMouth(river mouth)
mouth

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 5658-5659
(externalImage RiverMouth "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ Klamath_River_mouth_aerial_view.jpg") pictureList.kif 1498-1498
(subclass RiverMouth StreamWaterArea) Geography.kif 5656-5656 River mouth is a subclass of stream water area
(subclass RiverMouth WaterArea) Geography.kif 5655-5655 River mouth is a subclass of water area

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


(termFormat ChineseLanguage RiverMouth "河口") domainEnglishFormat.kif 50114-50114
(termFormat ChineseTraditionalLanguage RiverMouth "河口") domainEnglishFormat.kif 50113-50113
(termFormat EnglishLanguage RiverMouth "river mouth") domainEnglishFormat.kif 50112-50112

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 5661-5670
(=>
    (instance ?Delta Delta)
    (exists (?Mouth)
        (and
            (instance ?Mouth RiverMouth)
            (meetsSpatially ?Mouth ?Delta))))
Geography.kif 5782-5787
(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 5202-5207


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

Show without tree


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