| VirginIslands(virgin islands)
| | American_Virgin_Islands, United_States_Virgin_Islands, VI, Virgin_Islands |
| 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 | Virgin islands is a geographic subregion of caribbean region |
| (instance VirginIslands Archipelago) | CountriesAndRegions.kif 1163-1163 | Virgin islands is an instance of archipelago |
| (instance VirginIslands DependencyOrSpecialSovereigntyArea) | CountriesAndRegions.kif 3919-3919 | Virgin islands is an instance of dependency or special sovereignty area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island)) |
CountriesAndRegions.kif 1169-1171 |
|
|
|
|