| 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 5118-5121 | |
| (subclass Inlet BodyOfWater) | Geography.kif 5116-5116 | 进口 是 水体 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Bay Inlet) | Geography.kif 5157-5157 | 湾 是 进口 的 subclass |
| (subclass Cove Inlet) | Geography.kif 5163-5163 | 拱 是 进口 的 subclass |
| (subclass Estuary Inlet) | Geography.kif 5079-5079 | 河口 是 进口 的 subclass |
| (subclass InletPassage Inlet) | Geography.kif 5151-5151 | 入口通道 是 进口 的 subclass |
| (termFormat ChineseLanguage Inlet "进口") | domainEnglishFormat.kif 30168-30168 | |
| (termFormat ChineseTraditionalLanguage Inlet "進口") | domainEnglishFormat.kif 30167-30167 | |
| (termFormat EnglishLanguage Inlet "inlet") | domainEnglishFormat.kif 30166-30166 |
| antecedent |
|
|
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea)) |
Geography.kif 5144-5149 | |
| (=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER SaltWaterArea)) (instance ?INLET SaltWaterArea)) |
Geography.kif 5137-5142 | |
| (=> (instance ?INLET Inlet) (exists (?LAND) (and (instance ?LAND LandArea) (penetrates ?INLET ?LAND)))) |
Geography.kif 5123-5128 | |
| (=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER)))) |
Geography.kif 5130-5135 |
|
|
|