Archipelago - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Archipelago LandForm)	Geography.kif 7441-7441	Archipelago is a subclass of land form
(subclass Archipelago CollectionOfObjects)	Geography.kif 7442-7442	Archipelago is a subclass of collection
(documentation Archipelago EnglishLanguage "An Archipelago is a group of islands.")	Geography.kif 7443-7443	Archipelago is a subclass of collection
(externalImage Archipelago "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c8/ MerguiArchipelagoMap.png/ 180px_MerguiArchipelagoMap.png")	pictureList.kif 1033-1033	Archipelago is a subclass of collection
(externalImage Archipelago "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ MerguiArchipelagoMap.png")	pictureList.kif 2433-2433	Archipelago is a subclass of collection
(externalImage Archipelago "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saaristo.png")	pictureList.kif 2537-2537	Archipelago is a subclass of collection

appearance as argument number 2

(instance PuertoRico Archipelago)	CountriesAndRegions.kif 1159-1159	Puerto rico is an instance of archipelago
(instance VirginIslands Archipelago)	CountriesAndRegions.kif 1163-1163	Virgin islands is an instance of archipelago
(instance AalandIslands Archipelago)	Media.kif 2507-2507	Aaland islands is an instance of archipelago
(instance BritishVirginIslands Archipelago)	Media.kif 2542-2542	British virgin islands is an instance of archipelago
(instance USVirginIslands Archipelago)	Media.kif 2546-2546	US virgin islands is an instance of archipelago
(termFormat EnglishLanguage Archipelago "archipelago")	domainEnglishFormat.kif 8218-8218	US virgin islands is an instance of archipelago
(termFormat ChineseTraditionalLanguage Archipelago "群島")	domainEnglishFormat.kif 8219-8219	US virgin islands is an instance of archipelago
(termFormat ChineseLanguage Archipelago "群岛")	domainEnglishFormat.kif 8220-8220	US virgin islands is an instance of archipelago

antecedent

(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))

If X is an instance of archipelago and Y is a component of X, then Y is an instance of island

consequent

(=>
    (instance ?area ArchipelagicArea)
    (exists (?islands)
        (and
            (instance ?islands Archipelago)
            (located ?islands ?area))))

If X is an instance of archipelagic area, then there exists Y such that Y is an instance of archipelago and Y is located at X