|
|
   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 4576-4579 | |
| (subclass Sea BodyOfWater) | Geography.kif 4574-4574 | |
| (subclass Sea SaltWaterArea) | Geography.kif 4573-4573 |
| appearance as argument number 2 |
|
|
| (instance ArabianSea Sea) | Geography.kif 4623-4623 | |
| (instance BalticSea Sea) | Geography.kif 4622-4622 | |
| (instance BeringSea Sea) | Geography.kif 4621-4621 | |
| (instance BlackSea Sea) | Geography.kif 4614-4614 | |
| (instance CaribbeanSea Sea) | Geography.kif 4613-4613 | |
| (instance MediterraneanSea Sea) | Geography.kif 4612-4612 | |
| (instance NorthSea Sea) | Geography.kif 4624-4624 | |
| (instance RedSea Sea) | Geography.kif 4615-4615 | |
| (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 FootLength))) |
Geography.kif 4587-4591 | |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0 Meter))) |
Geography.kif 4581-4585 | |
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4605-4610 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4597-4603 | |
| (=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 4593-4595 |
| consequent |
|
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 4938-4945 | |
| (=> (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 |
|
|
|