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 |