| 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 4967-4970 | |
| (subclass Sea BodyOfWater) | Geography.kif 4965-4965 | |
| (subclass Sea SaltWaterArea) | Geography.kif 4964-4964 |
| appearance as argument number 2 |
|
|
| (instance ArabianSea Sea) | Geography.kif 5030-5030 | |
| (instance BalticSea Sea) | Geography.kif 5029-5029 | |
| (instance BeringSea Sea) | Geography.kif 5028-5028 | |
| (instance BlackSea Sea) | Geography.kif 5021-5021 | |
| (instance CaribbeanSea Sea) | Geography.kif 5020-5020 | |
| (instance MediterraneanSea Sea) | Geography.kif 5005-5005 | |
| (instance NorthSea Sea) | Geography.kif 5031-5031 | |
| (instance RedSea Sea) | Geography.kif 5022-5022 | |
| (termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51643-51643 | |
| (termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51642-51642 | |
| (termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51641-51641 |
| antecedent |
|
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 4979-4984 | |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 4972-4977 | |
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4998-5003 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4990-4996 | |
| (=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 4986-4988 |
| consequent |
|
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5350-5357 | |
| (=> (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 |
|
|
|