|
|
  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 | geographicSubregion VirginIslands and CaribbeanRegion |
| (instance VirginIslands Archipelago) | CountriesAndRegions.kif 1163-1163 | VirginIslands est une instance de Archipelago |
| (instance VirginIslands DependencyOrSpecialSovereigntyArea) | CountriesAndRegions.kif 3919-3919 | VirginIslands est une instance de DependencyOrSpecialSovereigntyArea |
| appearance as argument number 2 |
|
|
| (geographicSubregion BritishVirginIslands VirginIslands) | Media.kif 2598-2598 | geographicSubregion BritishVirginIslands and VirginIslands |
| (geographicSubregion USVirginIslands VirginIslands) | Media.kif 2601-2601 | geographicSubregion USVirginIslands and VirginIslands |
| (names "Virgin Islands" VirginIslands) | CountriesAndRegions.kif 4110-4110 | VirginIslands s'appele nom "Virgin Islands" |
| (subCollection BritishVirginIslands VirginIslands) | Media.kif 2602-2602 | BritishVirginIslands est une sous-collection appartenant � VirginIslands |
| (subCollection USVirginIslands VirginIslands) | Media.kif 2603-2603 | USVirginIslands est une sous-collection appartenant � VirginIslands |
| (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 |
|
|
|
