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 5183-5185
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG") pictureList.kif 2466-2466
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary-mouth.jpg") pictureList.kif 895-895
(subclass Estuary BodyOfWater) Geography.kif 5179-5179 Estuary ist eine teilkategorie von BodyOfWater
(subclass Estuary Inlet) Geography.kif 5181-5181 Estuary ist eine teilkategorie von Inlet
(subclass Estuary SaltWaterArea) Geography.kif 5180-5180 Estuary ist eine teilkategorie von SaltWaterArea

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


(termFormat ChineseLanguage Estuary "河口") domainEnglishFormat.kif 22456-22456
(termFormat ChineseTraditionalLanguage Estuary "河口") domainEnglishFormat.kif 22455-22455
(termFormat EnglishLanguage Estuary "estuary") domainEnglishFormat.kif 22454-22454

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


(=>
    (instance ?WATER Estuary)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (overlapsSpatially ?MOUTH ?WATER))))
Geography.kif 5202-5207
(=>
    (instance ?WATER Estuary)
    (exists (?RIVER)
        (and
            (instance ?RIVER River)
            (flows ?RIVER ?WATER))))
Geography.kif 5195-5200
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 5187-5193
(=>
    (instance ?WATER Estuary)
    (exists (?TIDES)
        (and
            (instance ?TIDES TidalProcess)
            (eventLocated ?TIDES ?WATER))))
Geography.kif 5209-5214


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