| Gulf(海湾)
| |
| appearance as argument number 1 |
|
|
| (documentation Gulf EnglishLanguage "Gulf is the class of extensions of a Sea or Ocean that reach into a land mass or are partially enclosed by a LandArea. A Gulf is typically larger than a Bay.") | Geography.kif 5023-5025 | |
| (externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") | pictureList.kif 860-860 | |
| (subclass Gulf BodyOfWater) | Geography.kif 5020-5020 | 海湾 是 水体 的 subclass |
| (subclass Gulf SaltWaterArea) | Geography.kif 5021-5021 | 海湾 是 盐水区 的 subclass |
| appearance as argument number 2 |
|
|
| (instance GulfOfAden Gulf) | Geography.kif 5063-5063 | 腺嘌呤 是 海湾 的 instance |
| (instance GulfOfMexico Gulf) | Geography.kif 5071-5071 | GulfOfMexico 是 海湾 的 instance |
| (instance GulfOfOman Gulf) | Geography.kif 5055-5055 | 阿曼湾 是 海湾 的 instance |
| (instance PersianGulf Gulf) | Geography.kif 5049-5049 | 波斯湾 是 海湾 的 instance |
| (termFormat ChineseLanguage Gulf "海湾") | domainEnglishFormat.kif 27027-27027 | |
| (termFormat ChineseTraditionalLanguage Gulf "海灣") | domainEnglishFormat.kif 27026-27026 | |
| (termFormat EnglishLanguage Gulf "gulf") | domainEnglishFormat.kif 27025-27025 |
| antecedent |
|
|
| (=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY)) |
Geography.kif 5043-5047 | |
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5027-5034 | |
| (=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER)))) |
Geography.kif 5036-5041 |
|
|
|