![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
UnincorporatedUnitedStatesTerritory
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UnincorporatedUnitedStatesTerritory "unincorporated united states territory") | domainEnglishFormat.kif 59975-59975 | |
| (termFormat ChineseTraditionalLanguage UnincorporatedUnitedStatesTerritory "非法人團結的美國領土") | domainEnglishFormat.kif 59976-59976 | |
| (termFormat ChineseLanguage UnincorporatedUnitedStatesTerritory "非法人团结的美国领土") | domainEnglishFormat.kif 59977-59977 |
| antecedent |
|
|
| (=> (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 |