Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Archipelago

Sigma KEE - Archipelago
Archipelago(群岛)

appearance as argument number 1
-------------------------


(documentation Archipelago EnglishLanguage "An Archipelago is a group of islands.") Geography.kif 5843-5843
(externalImage Archipelago "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ MerguiArchipelagoMap.png") pictureList.kif 2434-2434
(externalImage Archipelago "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saaristo.png") pictureList.kif 2538-2538
(externalImage Archipelago "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c8/ MerguiArchipelagoMap.png/ 180px-MerguiArchipelagoMap.png") pictureList.kif 1033-1033
(subclass Archipelago Collection) Geography.kif 5842-5842 群岛群体subclass
(subclass Archipelago LandForm) Geography.kif 5841-5841 群岛土地形式subclass

appearance as argument number 2
-------------------------


(instance AalandIslands Archipelago) Media.kif 2560-2560 AalandIslands群岛instance
(instance BritishVirginIslands Archipelago) Media.kif 2595-2595 英属维尔京群岛群岛instance
(instance PuertoRico Archipelago) CountriesAndRegions.kif 1159-1159 波多黎各群岛instance
(instance USVirginIslands Archipelago) Media.kif 2599-2599 USVirginIslands群岛instance
(instance VirginIslands Archipelago) CountriesAndRegions.kif 1163-1163 维尔京群岛群岛instance
(termFormat ChineseLanguage Archipelago "群岛") domainEnglishFormat.kif 8220-8220
(termFormat ChineseTraditionalLanguage Archipelago "群島") domainEnglishFormat.kif 8219-8219
(termFormat EnglishLanguage Archipelago "archipelago") domainEnglishFormat.kif 8218-8218

antecedent
-------------------------


(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))
Geography.kif 5845-5849

consequent
-------------------------


(=>
    (instance ?area ArchipelagicArea)
    (exists (?islands)
        (and
            (instance ?islands Archipelago)
            (located ?islands ?area))))
Geography.kif 5856-5861


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners