Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Inlet BodyOfWater) Geography.kif 6811-6811 Inlet is a subclass of body of water
(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 6813-6816 Inlet is a subclass of body of water

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


(subclass Estuary Inlet) Geography.kif 6774-6774 Estuary is a subclass of inlet
(subclass InletPassage Inlet) Geography.kif 6846-6846 Inlet passage is a subclass of inlet
(subclass Bay Inlet) Geography.kif 6852-6852 Bay is a subclass of inlet
(subclass Cove Inlet) Geography.kif 6858-6858 Cove is a subclass of inlet
(termFormat EnglishLanguage Inlet "inlet") domainEnglishFormat.kif 30183-30183 Cove is a subclass of inlet
(termFormat ChineseTraditionalLanguage Inlet "進口") domainEnglishFormat.kif 30184-30184 Cove is a subclass of inlet
(termFormat ChineseLanguage Inlet "进口") domainEnglishFormat.kif 30185-30185 Cove is a subclass of inlet

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


(=>
    (instance ?INLET Inlet)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (penetrates ?INLET ?LAND))))		 Geography.kif 6818-6823 If X is an instance of inlet, then there exists Y such that Y is an instance of land area and X penetrates Y
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))		 Geography.kif 6825-6830 If X is an instance of inlet, then there exists Y such that Y is an instance of water area and X is connected to Y
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))		 Geography.kif 6832-6837 If X is an instance of inlet, X meets Y, and Y is an instance of salt water area, then X is an instance of salt water area
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))		 Geography.kif 6839-6844 If X is an instance of inlet, X meets Y, and Y is an instance of fresh water area, then X is an instance of fresh water area


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners