TreeView Knowledge Base Browser - Inlet

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 5220-5223
(subclass Inlet BodyOfWater)	Geography.kif 5218-5218	Inlet is a subclass of body of water

appearance as argument number 2

(subclass Bay Inlet)	Geography.kif 5259-5259	Bay is a subclass of inlet
(subclass Cove Inlet)	Geography.kif 5265-5265	Cove is a subclass of inlet
(subclass Estuary Inlet)	Geography.kif 5181-5181	Estuary is a subclass of inlet
(subclass InletPassage Inlet)	Geography.kif 5253-5253	Inlet passage is a subclass of 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	If an object is an instance of inlet and the object meets another object and the other object is an instance of fresh water area, then the object is an instance of fresh water area
(=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER SaltWaterArea)) (instance ?INLET SaltWaterArea))	Geography.kif 5239-5244	If an object is an instance of inlet and the object meets another object and the other object is an instance of salt water area, then the object is an instance of salt water area
(=> (instance ?INLET Inlet) (exists (?LAND) (and (instance ?LAND LandArea) (penetrates ?INLET ?LAND))))	Geography.kif 5225-5230	If an object is an instance of inlet, then there exists another object such that the other object is an instance of land area and the object penetrates the other object
(=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER))))	Geography.kif 5232-5237	If an object is an instance of inlet, then there exists another object such that the other object is an instance of water area and the object is connected to the other object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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