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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Estuary
Estuary

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 4861-4863
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG") pictureList.kif 2467-2467 externalImage Estuary and "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Rio_de_la_Plata_BA_2.JPG"
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary-mouth.jpg") pictureList.kif 896-896 externalImage Estuary and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Estuary-mouth.jpg"
(subclass Estuary BodyOfWater) Geography.kif 4857-4857 subclass Estuary and BodyOfWater
(subclass Estuary Inlet) Geography.kif 4859-4859 subclass Estuary and Inlet
(subclass Estuary SaltWaterArea) Geography.kif 4858-4858 subclass Estuary and SaltWaterArea

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


(termFormat ChineseLanguage Estuary "河口") domainEnglishFormat.kif 22387-22387 termFormat ChineseLanguage, Estuary and "河口"
(termFormat ChineseTraditionalLanguage Estuary "河口") domainEnglishFormat.kif 22386-22386 termFormat ChineseTraditionalLanguage, Estuary and "河口"
(termFormat EnglishLanguage Estuary "estuary") domainEnglishFormat.kif 22385-22385 termFormat EnglishLanguage, Estuary and "estuary"

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


(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 4880-4885
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))
Geography.kif 4873-4878
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 4865-4871
(=>
    (instance ?WATER Estuary)
    (exists (?TIDES)
        (and
            (instance ?TIDES TidalProcess)
            (eventLocated ?TIDES ?WATER))))
Geography.kif 4887-4892


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