Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MaritimeExclusiveEconomicZone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) | Geography.kif 2556-2556 | Maritime exclusive economic zone is a subclass of maritime claim area |
| (subclass MaritimeExclusiveEconomicZone SaltWaterArea) | Geography.kif 2557-2557 | Maritime exclusive economic zone is a subclass of salt water area |
| (documentation MaritimeExclusiveEconomicZone EnglishLanguage "MaritimeExclusiveEconomicZone is the subclass of MaritimeClaimArea that represents the offshore area that coastal nations can claim for fishing and other uses of the ocean water and seabed found there.") | Geography.kif 2559-2562 | Maritime exclusive economic zone is a subclass of salt water area |
| (externalImage MaritimeExclusiveEconomicZone "http://upload.wikimedia.org/ wikipedia/ commons/ 7/ 7d/ Zonmar_en.svg") | pictureList.kif 2487-2487 | Maritime exclusive economic zone is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (range MaritimeExclusiveEconomicZoneFn MaritimeExclusiveEconomicZone) | Geography.kif 2575-2575 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| (termFormat EnglishLanguage MaritimeExclusiveEconomicZone "maritime exclusive economic zone") | domainEnglishFormat.kif 36221-36221 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| (termFormat ChineseTraditionalLanguage MaritimeExclusiveEconomicZone "海上專屬經濟區") | domainEnglishFormat.kif 36222-36222 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| (termFormat ChineseLanguage MaritimeExclusiveEconomicZone "海上专属经济区") | domainEnglishFormat.kif 36223-36223 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| antecedent |
|
|
| (=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 2566-2571 | If X is an instance of maritime exclusive economic zone and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0 |
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone)) (claimedTerritory (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA)) |
Geography.kif 2582-2586 | If X is an instance of geopolitical area and the maritime exclusive economic zone of X is an instance of maritime exclusive economic zone, then X is a claimed territory of the maritime exclusive economic zone of X |
|
