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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inlet
Inlet

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


(documentation Inlet EnglishLanguage "Inlet is the class of bays or other recesses into the shore of a lake, sea, or river, includes InletPassages, which are passages leading from open water through some barrier to a bay or lagoon.") Geography.kif 4898-4901
(subclass Inlet BodyOfWater) Geography.kif 4896-4896 subclass Inlet and BodyOfWater

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


(subclass Bay Inlet) Geography.kif 4937-4937 subclass Bay and Inlet
(subclass Cove Inlet) Geography.kif 4943-4943 subclass Cove and Inlet
(subclass Estuary Inlet) Geography.kif 4859-4859 subclass Estuary and Inlet
(subclass InletPassage Inlet) Geography.kif 4931-4931 subclass InletPassage and Inlet
(termFormat ChineseLanguage Inlet "进口") domainEnglishFormat.kif 30085-30085 termFormat ChineseLanguage, Inlet and "进口"
(termFormat ChineseTraditionalLanguage Inlet "進口") domainEnglishFormat.kif 30084-30084 termFormat ChineseTraditionalLanguage, Inlet and "進口"
(termFormat EnglishLanguage Inlet "inlet") domainEnglishFormat.kif 30083-30083 termFormat EnglishLanguage, Inlet and "inlet"

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 4924-4929
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))
Geography.kif 4917-4922
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 4903-4908
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))
Geography.kif 4910-4915


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