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 33696-33702
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea)	Mid-level-ontology.kif 33692-33692	Le nombre 1 argument de primaryGeopoliticalSubdivision est une instance de secteur g�opolitique
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea)	Mid-level-ontology.kif 33693-33693	Le nombre 2 argument de primaryGeopoliticalSubdivision est une instance de secteur g�opolitique
(instance primaryGeopoliticalSubdivision AsymmetricRelation)	Mid-level-ontology.kif 33691-33691	primaryGeopoliticalSubdivision est une instance de relation asym�trique
(instance primaryGeopoliticalSubdivision BinaryPredicate)	Mid-level-ontology.kif 33690-33690	primaryGeopoliticalSubdivision est une instance de pr�dicat binaire
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision)	Mid-level-ontology.kif 33694-33694	primaryGeopoliticalSubdivision est une sous-relation de geopoliticalSubdivision

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	dependentGeopoliticalArea est reli� � l'int�rieur de SUMO � primaryGeopoliticalSubdivision
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分")	domainEnglishFormat.kif 47308-47308	dependentGeopoliticalArea est reli� � l'int�rieur de SUMO � primaryGeopoliticalSubdivision
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分")	domainEnglishFormat.kif 47307-47307	dependentGeopoliticalArea est reli� � l'int�rieur de SUMO � primaryGeopoliticalSubdivision
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision")	domainEnglishFormat.kif 47306-47306	dependentGeopoliticalArea est reli� � l'int�rieur de SUMO � primaryGeopoliticalSubdivision

antecedent

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

Mid-level-ontology.kif 33719-33723

consequent

(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA))	Geography.kif 7104-7108	Secteur g�opolitique est une instance de GeographicPartTypeFn Etat ou province and secteur g�opolitique secteur g�opolitique est une instance de nation primaryGeopoliticalSubdivision secteur g�opolitique and secteur g�opolitique
(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA))))	Mid-level-ontology.kif 33712-33717	primaryGeopoliticalSubdivisionType secteur g�opolitique and secteur g�opolitique secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique primaryGeopoliticalSubdivision secteur g�opolitique and secteur g�opolitique

appearance as argument number 0

(primaryGeopoliticalSubdivision England UnitedKingdom)	Geography.kif 7136-7136	primaryGeopoliticalSubdivision England and UnitedKingdom
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom)	Geography.kif 7135-7135	primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom
(primaryGeopoliticalSubdivision Scotland UnitedKingdom)	Geography.kif 7134-7134	primaryGeopoliticalSubdivision Scotland and UnitedKingdom
(primaryGeopoliticalSubdivision Wales UnitedKingdom)	Geography.kif 7137-7137	primaryGeopoliticalSubdivision Wales and UnitedKingdom