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 5220-5223
(subclass Inlet BodyOfWater) Geography.kif 5218-5218 Inlet est une sous-classe de BodyOfWater

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


(subclass Bay Inlet) Geography.kif 5259-5259 Bay est une sous-classe de Inlet
(subclass Cove Inlet) Geography.kif 5265-5265 Cove est une sous-classe de Inlet
(subclass Estuary Inlet) Geography.kif 5181-5181 Estuary est une sous-classe de Inlet
(subclass InletPassage Inlet) Geography.kif 5253-5253 InletPassage est une sous-classe de Inlet
(termFormat ChineseLanguage Inlet "进口") domainEnglishFormat.kif 30181-30181
(termFormat ChineseTraditionalLanguage Inlet "進口") domainEnglishFormat.kif 30180-30180
(termFormat EnglishLanguage Inlet "inlet") domainEnglishFormat.kif 30179-30179

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 5246-5251
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))
Geography.kif 5239-5244
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 5225-5230
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))
Geography.kif 5232-5237


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