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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4847-4849
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG") pictureList.kif 2467-2467 "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Rio_de_la_Plata_BA_2.JPG" is a URL depicting estuary
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary-mouth.jpg") pictureList.kif 896-896 "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Estuary-mouth.jpg" is a URL depicting estuary
(subclass Estuary BodyOfWater) Geography.kif 4843-4843 Estuary is a subclass of body of water
(subclass Estuary Inlet) Geography.kif 4845-4845 Estuary is a subclass of inlet
(subclass Estuary SaltWaterArea) Geography.kif 4844-4844 Estuary is a subclass of salt water area

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


(termFormat ChineseLanguage Estuary "河口") domainEnglishFormat.kif 22387-22387 "河口" is the printable form of estuary in ChineseLanguage
(termFormat ChineseTraditionalLanguage Estuary "河口") domainEnglishFormat.kif 22386-22386 "河口" is the printable form of estuary in ChineseTraditionalLanguage
(termFormat EnglishLanguage Estuary "estuary") domainEnglishFormat.kif 22385-22385 "estuary" is the printable form of estuary in english language

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


(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?ESTUARY))))
Geography.kif 4866-4871
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?ESTUARY))))
Geography.kif 4859-4864
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 4851-4857
(=>
    (instance ?WATER Estuary)
    (exists (?TIDES)
        (and
            (instance ?TIDES TidalProcess)
            (eventLocated ?TIDES ?WATER))))
Geography.kif 4873-4878


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners