| 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 | 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 |
| (instance dependentAreaOfType TernaryPredicate) | Government.kif 84-84 | dependent area of type is an instance of ternary predicate |
| 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 19138-19138 | |
| (termFormat ChineseTraditionalLanguage dependentAreaOfType "依賴的類型區域") | domainEnglishFormat.kif 19137-19137 | |
| (termFormat EnglishLanguage dependentAreaOfType "dependent area of type") | domainEnglishFormat.kif 19136-19136 |
| antecedent |
|
|
| (=> (dependentAreaOfType ?AREA ?COUNTRY ?TYPE) (dependentGeopoliticalArea ?AREA ?COUNTRY)) |
Government.kif 437-439 |
|
| (=> (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 471-475 |
|
| (=> (instance ?AREA BritishCrownColony) (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony)) |
Government.kif 485-487 |
|
| (=> (instance ?AREA UnincorporatedUnitedStatesTerritory) (dependentAreaOfType ?AREA UnitedStates OverseasArea)) |
Government.kif 479-481 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners