primaryGeopoliticalSubdivision - Sigma Knowledge base Browser

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.")	Mid-level-ontology.kif 32870-32876
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea)	Mid-level-ontology.kif 32866-32866	The number 1 argument of primary geopolitical subdivision is an instance of geopolitical area
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea)	Mid-level-ontology.kif 32867-32867	The number 2 argument of primary geopolitical subdivision is an instance of geopolitical area
(instance primaryGeopoliticalSubdivision AsymmetricRelation)	Mid-level-ontology.kif 32865-32865	primary geopolitical subdivision is an instance of asymmetric relation
(instance primaryGeopoliticalSubdivision BinaryPredicate)	Mid-level-ontology.kif 32864-32864	primary geopolitical subdivision is an instance of binary predicate
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision)	Mid-level-ontology.kif 32868-32868	primary geopolitical subdivision is a subrelation of geopolitical subdivision

appearance as argument number 2

(format ChineseLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地缘政治细分")	domainEnglishFormat.kif 2047-2047
(format ChineseTraditionalLanguage primaryGeopoliticalSubdivision "%2 %n 是 %1 的 primary 地緣政治細分")	domainEnglishFormat.kif 2046-2046
(format EnglishLanguage primaryGeopoliticalSubdivision "%2 is %n a primary geopolitical subdivision of %1")	domainEnglishFormat.kif 2045-2045
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision)	Government.kif 422-422	dependent geopolitical area is internally related to primary geopolitical subdivision
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分")	domainEnglishFormat.kif 47337-47337	dependent geopolitical area is internally related to primary geopolitical subdivision
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分")	domainEnglishFormat.kif 47336-47336	dependent geopolitical area is internally related to primary geopolitical subdivision
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision")	domainEnglishFormat.kif 47335-47335	dependent geopolitical area is internally related to primary geopolitical subdivision

antecedent

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

Mid-level-ontology.kif 32893-32897

consequent

(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA))	Geography.kif 7006-7010	If a geopolitical area is an instance of all the instances of state or province in another geopolitical area and the other geopolitical area is an instance of nation, then the other geopolitical area is a primary geopolitical subdivision of the geopolitical area
(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))	Mid-level-ontology.kif 32886-32891	If a kind of geopolitical area is a primary geopolitical subdivision type of another geopolitical area, then there exists a third geopolitical area such that the third geopolitical area is an instance of a kind of geopolitical area and the other geopolitical area is a primary geopolitical subdivision of the third geopolitical area

appearance as argument number 0

(primaryGeopoliticalSubdivision England UnitedKingdom)	Geography.kif 7038-7038	United kingdom is a primary geopolitical subdivision of England
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom)	Geography.kif 7037-7037	United kingdom is a primary geopolitical subdivision of northern ireland
(primaryGeopoliticalSubdivision Scotland UnitedKingdom)	Geography.kif 7036-7036	United kingdom is a primary geopolitical subdivision of scotland
(primaryGeopoliticalSubdivision Wales UnitedKingdom)	Geography.kif 7039-7039	United kingdom is a primary geopolitical subdivision of Wales