| Sea(海) | |
| appearance as argument number 1 |
|
|
| (documentation Sea EnglishLanguage "Sea is the class of smaller subdivisions of the WorldOcean, typically partially surrounded by land. However, for inland salt water bodies that are sometimes called 'Sea', see SaltLake.") | Geography.kif 5000-5003 | |
| (subclass Sea BodyOfWater) | Geography.kif 4998-4998 | 子類 海 and 水體 |
| (subclass Sea SaltWaterArea) | Geography.kif 4997-4997 | 子類 海 and SaltWaterArea |
| appearance as argument number 2 |
|
|
| (instance ArabianSea Sea) | Geography.kif 5063-5063 | 例 阿拉伯海 and 海 |
| (instance BalticSea Sea) | Geography.kif 5062-5062 | 例 波羅的海 and 海 |
| (instance BeringSea Sea) | Geography.kif 5061-5061 | 例 白令海 and 海 |
| (instance BlackSea Sea) | Geography.kif 5054-5054 | 例 黑海 and 海 |
| (instance CaribbeanSea Sea) | Geography.kif 5053-5053 | 例 加勒比海 and 海 |
| (instance MediterraneanSea Sea) | Geography.kif 5038-5038 | 例 地中海 and 海 |
| (instance NorthSea Sea) | Geography.kif 5064-5064 | 例 北海 and 海 |
| (instance RedSea Sea) | Geography.kif 5055-5055 | 例 紅海 and 海 |
| (termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51643-51643 | 例 紅海 and 海 |
| (termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51642-51642 | 例 紅海 and 海 |
| (termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51641-51641 | 例 紅海 and 海 |
| antecedent |
|
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 5012-5017 |
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 5005-5010 |
|
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 5031-5036 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 5023-5029 | |
| (=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 5019-5021 |
| consequent |
|
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5383-5390 | |
| (=> (instance ?PORT PortCity) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 841-850 | |
| (=> (instance ?PORT SeaPort) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 873-882 |
|
|
|