dependentAreaOfType |
appearance as argument number 1 |
(documentation dependentAreaOfType EnglishLanguage "(dependentAreaOfType ?AREA ?COUNTRY ?TYPE) means that the GeopoliticalArea ?AREA is a dependency of the independent Nation ?COUNTRY, administered as a unit of ?TYPE. For example, (dependentAreaOfType SaintHelena UnitedKingdom OverseasArea).") | Government.kif 89-93 | |
(domain dependentAreaOfType 1 GeopoliticalArea) | Government.kif 85-85 | 依赖的类型区域 的 1 数量 是 地缘政治区域 的 instance |
(domain dependentAreaOfType 2 GeopoliticalArea) | Government.kif 86-86 | 依赖的类型区域 的 2 数量 是 地缘政治区域 的 instance |
(domainSubclass dependentAreaOfType 3 GeopoliticalArea) | Government.kif 87-87 | 依赖的类型区域 的 3 数量 是 地缘政治区域 的 subclass |
(instance dependentAreaOfType TernaryPredicate) | Government.kif 84-84 | 依赖的类型区域 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage dependentAreaOfType "%1 %n{不是} 对于 %3 dependent 区域的类别 %2") | domainEnglishFormat.kif 712-712 | |
(format ChineseTraditionalLanguage dependentAreaOfType "%1 %n{不是} 對於 %3 dependent 區域的類別 %2 ") | domainEnglishFormat.kif 711-711 | |
(format EnglishLanguage dependentAreaOfType "%1 %n{doesn't} dependent area of type %2 for %3") | domainEnglishFormat.kif 710-710 | |
(termFormat ChineseLanguage dependentAreaOfType "依赖的类型区域") | domainEnglishFormat.kif 19122-19122 | |
(termFormat ChineseTraditionalLanguage dependentAreaOfType "依賴的類型區域") | domainEnglishFormat.kif 19121-19121 | |
(termFormat EnglishLanguage dependentAreaOfType "dependent area of type") | domainEnglishFormat.kif 19120-19120 |
antecedent |
(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY)) |
Government.kif 473-475 |
|
(=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (instance ?AREA ?TYPE)) |
Government.kif 95-97 |
|
consequent |
(=> (and (instance ?COUNTRY Nation) (instance ?AREA (OverseasAreaFn ?COUNTRY))) (dependentAreaOfType ?AREA ?COUNTRY OverseasArea)) |
Government.kif 507-511 | |
(=> (instance ?AREA BritishCrownColony) (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony)) |
Government.kif 521-523 | |
(=> (instance ?AREA UnincorporatedUnitedStatesTerritory) (dependentAreaOfType ?AREA UnitedStates OverseasArea)) |
Government.kif 515-517 |