TreeView Knowledge Base Browser - primaryGeopoliticalSubdivision

appearance as argument number 1

(documentation primaryGeopoliticalSubdivision EnglishLanguage "(primaryGeopoliticalSubdivision ?AREA ?COUNTRY) means that the GeopoliticalArea ?AREA is one of the first-order administrative divisions of the Nation ?COUNTRY. For example, in the United States, any of the fifty states. This does not include subordinate regions that have a lesser status, such as British Crown colonies, U.S. territories, or protectorates. See geopoliticalSubdivision.")	Government.kif 405-411
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea)	Government.kif 401-401	域主要地緣政治細分, 1 and GeopoliticalArea
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea)	Government.kif 402-402	域主要地緣政治細分, 2 and GeopoliticalArea
(instance primaryGeopoliticalSubdivision AsymmetricRelation)	Government.kif 400-400	例主要地緣政治細分 and AsymmetricRelation
(instance primaryGeopoliticalSubdivision BinaryPredicate)	Government.kif 399-399	例主要地緣政治細分 and BinaryPredicate
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision)	Government.kif 403-403	子關係主要地緣政治細分 and 地緣政治細分

appearance as argument number 2

(format ChineseLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地缘政治细分")	domainEnglishFormat.kif 2043-2043
(format ChineseTraditionalLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地緣政治細分")	domainEnglishFormat.kif 2042-2042
(format EnglishLanguage primaryGeopoliticalSubdivision "%2 is %n a primary geopolitical subdivision of %1")	domainEnglishFormat.kif 2041-2041
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision)	Government.kif 458-458	相關的內部概念依賴的地緣政治區域 and 主要地緣政治細分
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分")	domainEnglishFormat.kif 47306-47306
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分")	domainEnglishFormat.kif 47305-47305
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision")	domainEnglishFormat.kif 47304-47304

antecedent

(=>
    (and
        (primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
        (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))
    (instance ?SUBAREA ?TYPE))

Government.kif 429-433

consequent

(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA))	Geography.kif 6938-6942	例 GeopoliticalArea and StateOrProvince 所有的 instances 在 GeopoliticalArea 例 GeopoliticalArea and Nation GeopoliticalArea 是 GeopoliticalArea 的 primary 地緣政治細分
(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))	Government.kif 422-427	GeopoliticalArea 是 % 的 GeopoliticalArea primary 地緣政治細分類別 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea GeopoliticalArea 是 GeopoliticalArea 的 primary 地緣政治細分

appearance as argument number 0

(primaryGeopoliticalSubdivision England UnitedKingdom)	Geography.kif 6970-6970	英國是 England 的 primary 地緣政治細分
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom)	Geography.kif 6969-6969	英國是北愛爾蘭的 primary 地緣政治細分
(primaryGeopoliticalSubdivision Scotland UnitedKingdom)	Geography.kif 6968-6968	英國是蘇格蘭的 primary 地緣政治細分
(primaryGeopoliticalSubdivision Wales UnitedKingdom)	Geography.kif 6971-6971	英國是 Wales 的 primary 地緣政治細分