| appearance as argument number 1 |
|
| (documentation MaritimeClaimArea EnglishLanguage "A MaritimeClaimArea is a GeographicArea delimited by a geopolitical state's claim, under the LawOfTheSea, of rights to certain resources, activities, or jurisdiction in the claimed area. MaritimeClaimAreas can pertain to WaterAreas, SubmergedLandAreas, and Airspace.") | Geography.kif 1017-1020 | |
| (subclass MaritimeClaimArea GeographicArea) | Geography.kif 1015-1015 |
| appearance as argument number 2 |
|
|
| (subclass ExclusiveFishingZone MaritimeClaimArea) | Geography.kif 1126-1126 | |
| (subclass ExtendedFishingZone MaritimeClaimArea) | Geography.kif 1158-1158 | |
| (subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 1024-1024 | |
| (subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) | Geography.kif 1093-1093 | |
| (subclass MaritimeShelfArea MaritimeClaimArea) | Geography.kif 1051-1051 | |
| (subclass TerritorialSea MaritimeClaimArea) | Geography.kif 1190-1190 | |
| (termFormat ChineseLanguage MaritimeClaimArea "海事索赔区") | domainEnglishFormat.kif 36217-36217 | |
| (termFormat ChineseTraditionalLanguage MaritimeClaimArea "海事索賠區") | domainEnglishFormat.kif 36216-36216 | |
| (termFormat EnglishLanguage MaritimeClaimArea "maritime claim area") | domainEnglishFormat.kif 36215-36215 |
| appearance as argument number 3 |
|
|
| (domainSubclass maritimeClaimType 2 MaritimeClaimArea) | Geography.kif 971-971 |
| antecedent |
|
|
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 992-997 | |
| (=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 977-981 | |
| (=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA)))) |
Geography.kif 983-990 |
| consequent |
|
|
| (=> (and (instance ?AREA LandlockedArea) (instance ?AREA GeopoliticalArea)) (not (exists (?CLAIM) (and (instance ?CLAIM MaritimeClaimArea) (claimedTerritory ?CLAIM ?AREA))))) |
Geography.kif 919-927 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners