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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inlet
Inlet(inlet)Loch_Linnhe, Moray_Firth, Solway_Firth, Trondheim_Fiord, Trondheim_Fjord, inlet, loch, recess

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 5289-5292
(subclass Inlet BodyOfWater) Geography.kif 5287-5287 Inlet is a subclass of body of water

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


(subclass Bay Inlet) Geography.kif 5328-5328 Bay is a subclass of inlet
(subclass Cove Inlet) Geography.kif 5334-5334 Cove is a subclass of inlet
(subclass Estuary Inlet) Geography.kif 5250-5250 Estuary is a subclass of inlet
(subclass InletPassage Inlet) Geography.kif 5322-5322 Inlet passage is a subclass of inlet
(termFormat ChineseLanguage Inlet "进口") domainEnglishFormat.kif 30209-30209 Inlet passage is a subclass of inlet
(termFormat ChineseTraditionalLanguage Inlet "進口") domainEnglishFormat.kif 30208-30208 Inlet passage is a subclass of inlet
(termFormat EnglishLanguage Inlet "inlet") domainEnglishFormat.kif 30207-30207 Inlet passage is a subclass of inlet

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 5315-5320
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))
Geography.kif 5308-5313
(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))
Geography.kif 5294-5299
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))
Geography.kif 5301-5306


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