Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExclusiveFishingZone(exclusive fishing zone) |
| appearance as argument number 1 |
|
| (subclass ExclusiveFishingZone MaritimeClaimArea) | Geography.kif 2589-2589 | Exclusive fishing zone is a subclass of maritime claim area |
| (subclass ExclusiveFishingZone SaltWaterArea) | Geography.kif 2590-2590 | Exclusive fishing zone is a subclass of salt water area |
| (documentation ExclusiveFishingZone EnglishLanguage "ExclusiveFishingZone is the subclass of MaritimeClaimArea including offshore areas over which a nation claims exclusive jurisdiction only for fishing purposes (cf. MaritimeExclusiveEconomicZone). Zone widths vary up to 200 miles (NM).") | Geography.kif 2592-2596 | Exclusive fishing zone is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (range ExclusiveFishingZoneFn ExclusiveFishingZone) | Geography.kif 2607-2607 | The range of exclusive fishing zone is an instance of exclusive fishing zone |
| (termFormat EnglishLanguage ExclusiveFishingZone "exclusive fishing zone") | domainEnglishFormat.kif 22669-22669 | The range of exclusive fishing zone is an instance of exclusive fishing zone |
| (termFormat ChineseTraditionalLanguage ExclusiveFishingZone "專屬捕魚區") | domainEnglishFormat.kif 22670-22670 | The range of exclusive fishing zone is an instance of exclusive fishing zone |
| (termFormat ChineseLanguage ExclusiveFishingZone "专属捕鱼区") | domainEnglishFormat.kif 22671-22671 | The range of exclusive fishing zone is an instance of exclusive fishing zone |
| antecedent |
|
|
| (=> (and (instance ?ZONE ExclusiveFishingZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 2598-2603 | If X is an instance of exclusive fishing 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 (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone)) (claimedTerritory (ExclusiveFishingZoneFn ?AREA) ?AREA)) |
Geography.kif 2614-2618 | If X is an instance of geopolitical area and the exclusive fishing zone of X is an instance of exclusive fishing zone, then X is a claimed territory of the exclusive fishing zone of X |
|