primaryGeopoliticalSubdivisionType |
appearance as argument number 1 |
(documentation primaryGeopoliticalSubdivisionType EnglishLanguage "(primaryGeopoliticalSubdivisionType ?COUNTRY ?TYPE) means that the first-order administrative divisons of ?COUNTRY are of the type ?TYPE.") | Government.kif 418-420 | |
(domain primaryGeopoliticalSubdivisionType 1 GeopoliticalArea) | Government.kif 415-415 | 域 主要地緣政治細分類型, 1 and GeopoliticalArea |
(domainSubclass primaryGeopoliticalSubdivisionType 2 GeopoliticalArea) | Government.kif 416-416 | 域子類 主要地緣政治細分類型, 2 and GeopoliticalArea |
(instance primaryGeopoliticalSubdivisionType AsymmetricRelation) | Government.kif 414-414 | 例 主要地緣政治細分類型 and AsymmetricRelation |
(instance primaryGeopoliticalSubdivisionType BinaryPredicate) | Government.kif 413-413 | 例 主要地緣政治細分類型 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage primaryGeopoliticalSubdivisionType "%2 %n 是 % 的 %1 primary 地缘政治细分类别") | domainEnglishFormat.kif 2047-2047 | |
(format ChineseTraditionalLanguage primaryGeopoliticalSubdivisionType "%2 %n 是 % 的 %1 primary 地緣政治細分類別") | domainEnglishFormat.kif 2046-2046 | |
(format EnglishLanguage primaryGeopoliticalSubdivisionType "%2 is %n a primary geopolitical subdivision type of %1") | domainEnglishFormat.kif 2045-2045 | |
(termFormat ChineseLanguage primaryGeopoliticalSubdivisionType "主要地缘政治细分类型") | domainEnglishFormat.kif 47312-47312 | |
(termFormat ChineseTraditionalLanguage primaryGeopoliticalSubdivisionType "主要地緣政治細分類型") | domainEnglishFormat.kif 47311-47311 | |
(termFormat EnglishLanguage primaryGeopoliticalSubdivisionType "primary geopolitical subdivision type") | domainEnglishFormat.kif 47310-47310 |
antecedent |
(=> (and (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA)) (instance ?SUBAREA ?TYPE)) |
Government.kif 429-433 |
|
(=> (primaryGeopoliticalSubdivisionType ?AREA ?TYPE) (exists (?SUBAREA) (and (instance ?SUBAREA ?TYPE) (primaryGeopoliticalSubdivision ?SUBAREA ?AREA)))) |
Government.kif 422-427 |
|