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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Estuary

Sigma KEE - Estuary
Estuary(estuary)
Firth_of_Clyde, Firth_of_Forth, Humber, estuary, firth

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


(documentation Estuary EnglishLanguage "Estuary is the subclass of BodyOfWater that represents WaterAreas where a sea or ocean Tide meets a River current.") Geography.kif 5081-5083
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG") pictureList.kif 2467-2467
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary-mouth.jpg") pictureList.kif 896-896
(subclass Estuary BodyOfWater) Geography.kif 5077-5077 Estuary is a subclass of body of water
(subclass Estuary Inlet) Geography.kif 5079-5079 Estuary is a subclass of inlet
(subclass Estuary SaltWaterArea) Geography.kif 5078-5078 Estuary is a subclass of salt water area

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


(termFormat ChineseLanguage Estuary "河口") domainEnglishFormat.kif 22449-22449
(termFormat ChineseTraditionalLanguage Estuary "河口") domainEnglishFormat.kif 22448-22448
(termFormat EnglishLanguage Estuary "estuary") domainEnglishFormat.kif 22447-22447

antecedent
-------------------------


(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 5100-5105
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))
Geography.kif 5093-5098
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 5085-5091
(=>
    (instance ?WATER Estuary)
    (exists (?TIDES)
        (and
            (instance ?TIDES TidalProcess)
            (eventLocated ?TIDES ?WATER))))
Geography.kif 5107-5112


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