![]() |
![]() ![]() ![]()
|
![]() |
|
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 4669-4672 | |
(subclass Sea BodyOfWater) | Geography.kif 4667-4667 | |
(subclass Sea SaltWaterArea) | Geography.kif 4666-4666 |
appearance as argument number 2 |
![]() |
(instance ArabianSea Sea) | Geography.kif 4718-4718 | |
(instance BalticSea Sea) | Geography.kif 4717-4717 | |
(instance BeringSea Sea) | Geography.kif 4716-4716 | |
(instance BlackSea Sea) | Geography.kif 4709-4709 | |
(instance CaribbeanSea Sea) | Geography.kif 4708-4708 | |
(instance MediterraneanSea Sea) | Geography.kif 4707-4707 | |
(instance NorthSea Sea) | Geography.kif 4719-4719 | |
(instance RedSea Sea) | Geography.kif 4710-4710 | |
(termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51625-51625 | |
(termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51624-51624 | |
(termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51623-51623 |
antecedent |
![]() |
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 4681-4686 | |
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 4674-4679 | |
(=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4700-4705 | |
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4692-4698 | |
(=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 4688-4690 |
consequent |
![]() |
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5038-5045 | |
(=> (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 |
![]() |
![]() |