ArchipelagicArea - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ArchipelagicArea GeographicArea)	Geography.kif 7451-7451	Archipelagic area is a subclass of geographic area
(documentation ArchipelagicArea EnglishLanguage "An ArchipelagicArea is a GeographicArea including an Archipelago and the surrounding WaterArea.")	Geography.kif 7453-7454	Archipelagic area is a subclass of geographic area
(externalImage ArchipelagicArea "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ Buccaneer_Archipelago.jpg")	pictureList.kif 1467-1467	Archipelagic area is a subclass of geographic area

appearance as argument number 2

(termFormat EnglishLanguage ArchipelagicArea "archipelagic area")	domainEnglishFormat.kif 8212-8212
(termFormat ChineseTraditionalLanguage ArchipelagicArea "群島地區")	domainEnglishFormat.kif 8213-8213
(termFormat ChineseLanguage ArchipelagicArea "群岛地区")	domainEnglishFormat.kif 8214-8214

antecedent

(=>
    (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