| VirginIslands(维尔京群岛)
| |
| appearance as argument number 1 |
|
|
| (documentation VirginIslands EnglishLanguage "The VirginIslands is an Archipelago in the West Indies that comprises both the BritishVirginIslands, administered by the UnitedKingdom, and the USVirginIslands, administered by the UnitedStates.") | CountriesAndRegions.kif 1164-1167 | |
| (externalImage VirginIslands "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ V/ Virgin_Islands.png") | pictureList.kif 825-825 | |
| (geographicSubregion VirginIslands CaribbeanRegion) | CountriesAndRegions.kif 465-465 | 维尔京群岛 是 加勒比地区 的 geographic 次要地区 |
| (instance VirginIslands Archipelago) | CountriesAndRegions.kif 1163-1163 | 维尔京群岛 是 群岛 的 instance |
| (instance VirginIslands DependencyOrSpecialSovereigntyArea) | CountriesAndRegions.kif 3919-3919 | 维尔京群岛 是 依赖或特殊主权领域 的 instance |
| appearance as argument number 2 |
|
|
| (geographicSubregion BritishVirginIslands VirginIslands) | Media.kif 2598-2598 | 英属维尔京群岛 是 维尔京群岛 的 geographic 次要地区 |
| (geographicSubregion USVirginIslands VirginIslands) | Media.kif 2601-2601 | USVirginIslands 是 维尔京群岛 的 geographic 次要地区 |
| (names "Virgin Islands" VirginIslands) | CountriesAndRegions.kif 4110-4110 | 维尔京群岛 的名 是 "Virgin Islands" |
| (subCollection BritishVirginIslands VirginIslands) | Media.kif 2602-2602 | 英属维尔京群岛 是 维尔京群岛 的 真正的子集 |
| (subCollection USVirginIslands VirginIslands) | Media.kif 2603-2603 | USVirginIslands 是 维尔京群岛 的 真正的子集 |
| (termFormat ChineseLanguage VirginIslands "维尔京群岛") | domainEnglishFormat.kif 61730-61730 | |
| (termFormat ChineseTraditionalLanguage VirginIslands "維爾京群島") | domainEnglishFormat.kif 61729-61729 | |
| (termFormat EnglishLanguage VirginIslands "virgin islands") | domainEnglishFormat.kif 61728-61728 |
| antecedent |
|
|
| (=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island)) |
CountriesAndRegions.kif 1169-1171 |
|
|
|