primaryGeopoliticalSubdivision - Sigma Knowledge base Browser

appearance as argument number 1

(instance primaryGeopoliticalSubdivision BinaryPredicate)	Mid-level-ontology.kif 34470-34470	primary geopolitical subdivision is an instance of binary predicate
(instance primaryGeopoliticalSubdivision AsymmetricRelation)	Mid-level-ontology.kif 34471-34471	primary geopolitical subdivision is an instance of asymmetric relation
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea)	Mid-level-ontology.kif 34472-34472	The number 1 argument of primary geopolitical subdivision is an instance of geopolitical area
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea)	Mid-level-ontology.kif 34473-34473	The number 2 argument of primary geopolitical subdivision is an instance of geopolitical area
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision)	Mid-level-ontology.kif 34474-34474	primary geopolitical subdivision is a subrelation of geopolitical subdivision
(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 34476-34482	primary geopolitical subdivision is a subrelation of geopolitical subdivision

appearance as argument number 2

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

antecedent

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

If X is a primary geopolitical subdivision type of Y and Y is a primary geopolitical subdivision of Z, then Z is an instance of X

consequent

(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))	Mid-level-ontology.kif 34492-34497	If X is a primary geopolitical subdivision type of Y, then there exists Z such that Z is an instance of X and Y is a primary geopolitical subdivision of Z
(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA))	Geography.kif 8593-8597	If X is an instance of all the instances of state or province in Y and Y is an instance of nation, then Y is a primary geopolitical subdivision of X

appearance as argument number 0

(primaryGeopoliticalSubdivision Scotland UnitedKingdom)	Geography.kif 8623-8623	United kingdom is a primary geopolitical subdivision of scotland
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom)	Geography.kif 8624-8624	United kingdom is a primary geopolitical subdivision of northern ireland
(primaryGeopoliticalSubdivision England UnitedKingdom)	Geography.kif 8625-8625	United kingdom is a primary geopolitical subdivision of England
(primaryGeopoliticalSubdivision Wales UnitedKingdom)	Geography.kif 8626-8626	United kingdom is a primary geopolitical subdivision of Wales