| 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 4760-4763 | |
| (subclass Sea BodyOfWater) | Geography.kif 4758-4758 | |
| (subclass Sea SaltWaterArea) | Geography.kif 4757-4757 |
| appearance as argument number 2 |
|
|
| (instance ArabianSea Sea) | Geography.kif 4809-4809 | |
| (instance BalticSea Sea) | Geography.kif 4808-4808 | |
| (instance BeringSea Sea) | Geography.kif 4807-4807 | |
| (instance BlackSea Sea) | Geography.kif 4800-4800 | |
| (instance CaribbeanSea Sea) | Geography.kif 4799-4799 | |
| (instance MediterraneanSea Sea) | Geography.kif 4798-4798 | |
| (instance NorthSea Sea) | Geography.kif 4810-4810 | |
| (instance RedSea Sea) | Geography.kif 4801-4801 | |
| (termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51674-51674 | |
| (termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51673-51673 | |
| (termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51672-51672 |
| antecedent |
|
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 4772-4777 | |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 4765-4770 | |
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4791-4796 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4783-4789 | |
| (=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 4779-4781 |
| consequent |
|
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5129-5136 | |
| (=> (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 |
|
|
|