| 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 4658-4661 | |
| (subclass Sea BodyOfWater) | Geography.kif 4656-4656 | 海 是 水体 的 subclass |
| (subclass Sea SaltWaterArea) | Geography.kif 4655-4655 | 海 是 盐水区 的 subclass |
| appearance as argument number 2 |
|
|
| (instance ArabianSea Sea) | Geography.kif 4707-4707 | 阿拉伯海 是 海 的 instance |
| (instance BalticSea Sea) | Geography.kif 4706-4706 | 波罗的海 是 海 的 instance |
| (instance BeringSea Sea) | Geography.kif 4705-4705 | 白令海 是 海 的 instance |
| (instance BlackSea Sea) | Geography.kif 4698-4698 | 黑海 是 海 的 instance |
| (instance CaribbeanSea Sea) | Geography.kif 4697-4697 | 加勒比海 是 海 的 instance |
| (instance MediterraneanSea Sea) | Geography.kif 4696-4696 | 地中海 是 海 的 instance |
| (instance NorthSea Sea) | Geography.kif 4708-4708 | 北海 是 海 的 instance |
| (instance RedSea Sea) | Geography.kif 4699-4699 | 红海 是 海 的 instance |
| (termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51622-51622 | |
| (termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51621-51621 | |
| (termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51620-51620 |
| antecedent |
|
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 4670-4675 |
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 4663-4668 |
|
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4689-4694 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4681-4687 | |
| (=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 4677-4679 |
| consequent |
|
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5027-5034 | |
| (=> (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 |
|
|
|