maritimeClaimType - Sigma Knowledge base Browser

appearance as argument number 1

(documentation maritimeClaimType EnglishLanguage "(maritimeClaimType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY claims rights over a MaritimeClaimArea of ?TYPE.")	Geography.kif 979-981
(domain maritimeClaimType 1 GeopoliticalArea)	Geography.kif 976-976	The number 1 argument of maritime claim type is an instance of geopolitical area
(domainSubclass maritimeClaimType 2 MaritimeClaimArea)	Geography.kif 977-977	The number 2 argument of maritime claim type is a subclass of maritime claim area
(instance maritimeClaimType AsymmetricRelation)	Geography.kif 975-975	maritime claim type is an instance of asymmetric relation
(instance maritimeClaimType BinaryPredicate)	Geography.kif 974-974	maritime claim type is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage maritimeClaimType "%2 %n 是 %1 的 maritime 要求类型")	domainEnglishFormat.kif 1623-1623
(format ChineseTraditionalLanguage maritimeClaimType "%2 %n 是 %1 的 maritime 要求類型")	domainEnglishFormat.kif 1622-1622
(format EnglishLanguage maritimeClaimType "%2 is %n a maritime claim type of %1")	domainEnglishFormat.kif 1621-1621
(termFormat ChineseLanguage maritimeClaimType "海事索赔类型")	domainEnglishFormat.kif 36237-36237
(termFormat ChineseTraditionalLanguage maritimeClaimType "海事索賠類型")	domainEnglishFormat.kif 36236-36236
(termFormat EnglishLanguage maritimeClaimType "maritime claim type")	domainEnglishFormat.kif 36235-36235

antecedent

(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))

Geography.kif 989-996

consequent

(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 998-1003	If a geographic area is an instance of a kind of maritime claim area and a kind of maritime claim area is a subclass of maritime claim area and a geopolitical area is a claimed territory of the geographic area, then the kind of maritime claim area is a maritime claim type of the geopolitical area
(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 983-987	If a geopolitical area is an instance of landlocked area and a kind of maritime claim area is a subclass of maritime claim area, then a kind of maritime claim area is not a maritime claim type of the geopolitical area