primaryGeopoliticalSubdivision |
appearance as argument number 1 |
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 422-422 | dependent geopolitical area is internally related to primary geopolitical subdivision |
(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 31803-31807 |
|
consequent |
(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6938-6942 |
|
(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA)))) |
Mid-level-ontology.kif 31796-31801 |
|
appearance as argument number 0 |
(primaryGeopoliticalSubdivision England UnitedKingdom) | Geography.kif 6970-6970 | United kingdom is a primary geopolitical subdivision of England |
(primaryGeopoliticalSubdivision NorthernIreland UnitedKingdom) | Geography.kif 6969-6969 | United kingdom is a primary geopolitical subdivision of northern ireland |
(primaryGeopoliticalSubdivision Scotland UnitedKingdom) | Geography.kif 6968-6968 | United kingdom is a primary geopolitical subdivision of scotland |
(primaryGeopoliticalSubdivision Wales UnitedKingdom) | Geography.kif 6971-6971 | United kingdom is a primary geopolitical subdivision of Wales |