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 4830-4833 | |
(subclass Sea BodyOfWater) | Geography.kif 4828-4828 | Sea は BodyOfWater の subclass では |
(subclass Sea SaltWaterArea) | Geography.kif 4827-4827 | Sea は 塩水地域 の subclass では |
appearance as argument number 2 |
![]() |
(instance ArabianSea Sea) | Geography.kif 4905-4905 | ArabianSea は Sea の instance では |
(instance BalticSea Sea) | Geography.kif 4904-4904 | BalticSea は Sea の instance では |
(instance BeringSea Sea) | Geography.kif 4903-4903 | BeringSea は Sea の instance では |
(instance BlackSea Sea) | Geography.kif 4896-4896 | BlackSea は Sea の instance では |
(instance CaribbeanSea Sea) | Geography.kif 4895-4895 | CaribbeanSea は Sea の instance では |
(instance MediterraneanSea Sea) | Geography.kif 4868-4868 | MediterraneanSea は Sea の instance では |
(instance NorthSea Sea) | Geography.kif 4906-4906 | NorthSea は Sea の instance では |
(instance RedSea Sea) | Geography.kif 4897-4897 | RedSea は Sea の instance では |
(termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51643-51643 | RedSea は Sea の instance では |
(termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51642-51642 | RedSea は Sea の instance では |
(termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51641-51641 | RedSea は Sea の instance では |
antecedent |
![]() |
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 4842-4847 |
|
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 4835-4840 |
|
(=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4861-4866 | |
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4853-4859 | |
(=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 4849-4851 |
consequent |
![]() |
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5225-5232 | |
(=> (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 |
![]() |
![]() |