| 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 4451-4454 | |
| (subclass Sea BodyOfWater) | Geography.kif 4449-4449 | subclass Sea and BodyOfWater |
| (subclass Sea SaltWaterArea) | Geography.kif 4448-4448 | subclass Sea and SaltWaterArea |
| appearance as argument number 2 |
|
|
| (instance ArabianSea Sea) | Geography.kif 4498-4498 | instance ArabianSea and Sea |
| (instance BalticSea Sea) | Geography.kif 4497-4497 | instance BalticSea and Sea |
| (instance BeringSea Sea) | Geography.kif 4496-4496 | instance BeringSea and Sea |
| (instance BlackSea Sea) | Geography.kif 4489-4489 | instance BlackSea and Sea |
| (instance CaribbeanSea Sea) | Geography.kif 4488-4488 | instance CaribbeanSea and Sea |
| (instance MediterraneanSea Sea) | Geography.kif 4487-4487 | instance MediterraneanSea and Sea |
| (instance NorthSea Sea) | Geography.kif 4499-4499 | instance NorthSea and Sea |
| (instance RedSea Sea) | Geography.kif 4490-4490 | instance RedSea and Sea |
| (termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51536-51536 | |
| (termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51535-51535 | |
| (termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51534-51534 |
| antecedent |
|
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0 FootLength))) |
Geography.kif 4462-4466 | |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0 Meter))) |
Geography.kif 4456-4460 | |
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4480-4485 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4472-4478 | |
| (=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 4468-4470 |
|
| consequent |
|
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 4807-4814 | |
| (=> (instance ?PORT PortCity) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 830-839 | |
| (=> (instance ?PORT SeaPort) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 862-871 |
|
|
|