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 5118-5121
(subclass Inlet BodyOfWater) Geography.kif 5116-5116 进口水体subclass

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


(subclass Bay Inlet) Geography.kif 5157-5157 进口subclass
(subclass Cove Inlet) Geography.kif 5163-5163 进口subclass
(subclass Estuary Inlet) Geography.kif 5079-5079 河口进口subclass
(subclass InletPassage Inlet) Geography.kif 5151-5151 入口通道进口subclass
(termFormat ChineseLanguage Inlet "进口") domainEnglishFormat.kif 30168-30168
(termFormat ChineseTraditionalLanguage Inlet "進口") domainEnglishFormat.kif 30167-30167
(termFormat EnglishLanguage Inlet "inlet") domainEnglishFormat.kif 30166-30166

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 5144-5149
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))
Geography.kif 5137-5142
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 5123-5128
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))
Geography.kif 5130-5135


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