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 973-975
(domain maritimeClaimType 1 GeopoliticalArea)	Geography.kif 970-970	The number 1 argument of maritime claim type is an instance of geopolitical area
(domainSubclass maritimeClaimType 2 MaritimeClaimArea)	Geography.kif 971-971	The number 2 argument of maritime claim type is a subclass of maritime claim area
(instance maritimeClaimType BinaryPredicate)	Geography.kif 969-969	maritime claim type is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage maritimeClaimType "%2 %n 是 %1 的 maritime 要求类型")	domainEnglishFormat.kif 1627-1627
(format ChineseTraditionalLanguage maritimeClaimType "%2 %n 是 %1 的 maritime 要求類型")	domainEnglishFormat.kif 1626-1626
(format EnglishLanguage maritimeClaimType "%2 is %n a maritime claim type of %1")	domainEnglishFormat.kif 1625-1625
(termFormat ChineseLanguage maritimeClaimType "海事索赔类型")	domainEnglishFormat.kif 36229-36229
(termFormat ChineseTraditionalLanguage maritimeClaimType "海事索賠類型")	domainEnglishFormat.kif 36228-36228
(termFormat EnglishLanguage maritimeClaimType "maritime claim type")	domainEnglishFormat.kif 36227-36227

antecedent

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

Geography.kif 983-990

consequent

(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 992-997	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 977-981	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