maritimeClaimType - Sigma Knowledge base Browser

appearance as argument number 1

(instance maritimeClaimType BinaryPredicate)	Geography.kif 2432-2432	maritime claim type is an instance of binary predicate
(domain maritimeClaimType 1 GeopoliticalArea)	Geography.kif 2433-2433	The number 1 argument of maritime claim type is an instance of geopolitical area
(domainSubclass maritimeClaimType 2 MaritimeClaimArea)	Geography.kif 2434-2434	The number 2 argument of maritime claim type is a subclass of maritime claim area
(documentation maritimeClaimType EnglishLanguage "(maritimeClaimType ?POLITY ?TYPE) means that the GeopoliticalArea ?POLITY claims rights over a MaritimeClaimArea of ?TYPE.")	Geography.kif 2436-2438	The number 2 argument of maritime claim type is a subclass of maritime claim area

appearance as argument number 2

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

antecedent

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

If X is a maritime claim type of Y and X is a subclass of maritime claim area, then there exists Z such that Z is an instance of X and Y is a claimed territory of Z

consequent

(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 2440-2444	If X is an instance of landlocked area and Y is a subclass of maritime claim area, then Y is not a maritime claim type of X
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 2455-2460	If X is an instance of Y, Y is a subclass of maritime claim area, and Z is a claimed territory of X, then Y is a maritime claim type of Z