Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TerritorialSea
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TerritorialSea MaritimeClaimArea) | Geography.kif 2653-2653 | Territorial sea is a subclass of maritime claim area |
| (subclass TerritorialSea SaltWaterArea) | Geography.kif 2654-2654 | Territorial sea is a subclass of salt water area |
| (documentation TerritorialSea EnglishLanguage "TerritorialSea is the class of contiguous waters over which a GeopoliticalArea claims jurisdiction in accordance with the United Nations Convention on the LawOfTheSea (LOS), Part II. A territorial sea may be up to 12 miles (NauticalMiles) in breadth. A subclass of MaritimeClaimArea.") | Geography.kif 2656-2661 | Territorial sea is a subclass of salt water area |
| (externalImage TerritorialSea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ Map_of_Sealand_with_territorial_waters.png") | pictureList.kif 3004-3004 | Territorial sea is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (range TerritorialSeaFn TerritorialSea) | Geography.kif 2680-2680 | The range of territorial sea is an instance of territorial sea |
| (termFormat EnglishLanguage TerritorialSea "territorial sea") | domainEnglishFormat.kif 57593-57593 | The range of territorial sea is an instance of territorial sea |
| (termFormat ChineseTraditionalLanguage TerritorialSea "領海") | domainEnglishFormat.kif 57594-57594 | The range of territorial sea is an instance of territorial sea |
| (termFormat ChineseLanguage TerritorialSea "领海") | domainEnglishFormat.kif 57595-57595 | The range of territorial sea is an instance of territorial sea |
| antecedent |
|
|
| (=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 2663-2669 | If X is an instance of maritime contiguous zone, Y is a claimed territory of X, Z is an instance of territorial sea, and Y is a claimed territory of Z, then Z is between Y and X |
| (=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 12.0)) |
Geography.kif 2671-2676 | If X is an instance of territorial sea and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 12.0 |
| (=> (and (instance ?AREA GeopoliticalArea) (instance (TerritorialSeaFn ?AREA) TerritorialSea)) (claimedTerritory (TerritorialSeaFn ?AREA) ?AREA)) |
Geography.kif 2685-2689 | If X is an instance of geopolitical area and the territorial sea of X is an instance of territorial sea, then X is a claimed territory of the territorial sea of X |
|
