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.") | Mid-level-ontology.kif 33694-33700 | |
(domain primaryGeopoliticalSubdivision 1 GeopoliticalArea) | Mid-level-ontology.kif 33690-33690 | |
(domain primaryGeopoliticalSubdivision 2 GeopoliticalArea) | Mid-level-ontology.kif 33691-33691 | |
(instance primaryGeopoliticalSubdivision AsymmetricRelation) | Mid-level-ontology.kif 33689-33689 | |
(instance primaryGeopoliticalSubdivision BinaryPredicate) | Mid-level-ontology.kif 33688-33688 | |
(subrelation primaryGeopoliticalSubdivision geopoliticalSubdivision) | Mid-level-ontology.kif 33692-33692 |
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 | |
(termFormat ChineseLanguage primaryGeopoliticalSubdivision "主要地缘政治细分") | domainEnglishFormat.kif 47308-47308 | |
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivision "主要地緣政治細分") | domainEnglishFormat.kif 47307-47307 | |
(termFormat EnglishLanguage primaryGeopoliticalSubdivision "primary geopolitical subdivision") | domainEnglishFormat.kif 47306-47306 |
antecedent |
![]() |
(=> (and (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA)) (instance ?SUBAREA ?TYPE)) |
Mid-level-ontology.kif 33717-33721 |
consequent |
![]() |
(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 7275-7279 | |
(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA)))) |
Mid-level-ontology.kif 33710-33715 |
appearance as argument number 0 |
![]() |
(primaryGeopoliticalSubdivision England UnitedKingdom) | Geography.kif 7307-7307 | |
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom) | Geography.kif 7306-7306 | |
(primaryGeopoliticalSubdivision Scotland UnitedKingdom) | Geography.kif 7305-7305 | |
(primaryGeopoliticalSubdivision Wales UnitedKingdom) | Geography.kif 7308-7308 |
![]() |
![]() |