Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dependentAreaOfType |
| appearance as argument number 1 |
|
| (instance dependentAreaOfType TernaryPredicate) | Government.kif 84-84 | dependent area of type is an instance of ternary predicate |
| (domain dependentAreaOfType 1 GeopoliticalArea) | Government.kif 85-85 | The number 1 argument of dependent area of type is an instance of geopolitical area |
| (domain dependentAreaOfType 2 GeopoliticalArea) | Government.kif 86-86 | The number 2 argument of dependent area of type is an instance of geopolitical area |
| (domainSubclass dependentAreaOfType 3 GeopoliticalArea) | Government.kif 87-87 | The number 3 argument of dependent area of type is a subclass of geopolitical area |
| (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 | The number 3 argument of dependent area of type is a subclass of geopolitical area |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage dependentAreaOfType "%1 %n{doesn't} dependent area of type %2 for %3") | domainEnglishFormat.kif 710-710 | |
| (format ChineseTraditionalLanguage dependentAreaOfType "%1 %n{不是} 對於 %3 dependent 區域的類別 %2 ") | domainEnglishFormat.kif 711-711 | |
| (format ChineseLanguage dependentAreaOfType "%1 %n{不是} 对于 %3 dependent 区域的类别 %2") | domainEnglishFormat.kif 712-712 | |
| (termFormat EnglishLanguage dependentAreaOfType "dependent area of type") | domainEnglishFormat.kif 19122-19122 | |
| (termFormat ChineseTraditionalLanguage dependentAreaOfType "依賴的類型區域") | domainEnglishFormat.kif 19123-19123 | |
| (termFormat ChineseLanguage dependentAreaOfType "依赖的类型区域") | domainEnglishFormat.kif 19124-19124 |
| antecedent |
|
|
| (=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (instance ?AREA ?TYPE)) |
Government.kif 95-97 | If X dependent area of type Y for Z, then X is an instance of Z |
| (=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY)) |
Government.kif 437-439 | If X dependent area of type Y for Z, then X is a dependent of Y |
| consequent |
|
|
| (=> (and (instance ?COUNTRY Nation) (instance ?AREA (OverseasAreaFn ?COUNTRY))) (dependentAreaOfType ?AREA ?COUNTRY OverseasArea)) |
Government.kif 471-475 | If X is an instance of nation and Y is an instance of the overseas area of X, then Y dependent area of type X for overseas area |
| (=> (instance ?AREA UnincorporatedUnitedStatesTerritory) (dependentAreaOfType ?AREA UnitedStates OverseasArea)) |
Government.kif 479-481 | If X is an instance of unincorporated united states territory, then X dependent area of type united states for overseas area |
| (=> (instance ?AREA BritishCrownColony) (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony)) |
Government.kif 485-487 | If X is an instance of british crown colony, then X dependent area of type united kingdom for british crown colony |
|