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


KB Term:  Term intersection
English Word: 

Sigma KEE - Island
Island(island)
Admiralty_Island, Aegean_island, Aegina, Aigina, Anglesea, Anglesea_Island, Anglesey, Anglesey_Island, Antigua, Antiguan, Aran_Islands, Atlantis, Austronesian, Baffin_Island, Bahrain, Bahrain_Island, Bahrein, Bahrein_Island, Barbuda, Bedloe's_Island, Bioko, Bonaire, Borneo, Bougainville, Cancun, Cape_Breton_Island, Capri, Caribbean_Island, Catalina_Island, Cebu, Celebes, Ceylon, Channel_Island, Chian, Chiloe, Chios, Corsican, Crete, Cuba, Culebra, Curacao, Cyprus, Dhodhekanisos, Dodecanese, Dominica, Ellis_Island, Emerald_Isle, Eniwetok, Erin, Ezo...

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


(disjoint Island LandlockedArea) Geography.kif 7454-7454 Island is disjoint from landlocked area
(documentation Island ChineseLanguage "这是一片四面八方环 WaterArea 的 LandArea。") chinese_format.kif 3345-3345 Island is disjoint from landlocked area
(documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") Merge.kif 14366-14367 Island is disjoint from landlocked area
(externalImage Island "http://articulatesoftware.com/SUMOpictures/geography/ island.png") pictureList.kif 521-521 Island is disjoint from landlocked area
(externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") pictureList.kif 117-117 Island is disjoint from landlocked area
(subclass Island LandArea) Merge.kif 14365-14365 Island is a subclass of land area

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


(instance BassasDaIndia Island) CountriesAndRegions.kif 135-135 Bassas da india is an instance of island
(instance BouvetIsland Island) CountriesAndRegions.kif 137-137 Bouvet island is an instance of island
(instance Cuba Island) CountriesAndRegions.kif 439-439 Cuba is an instance of island
(instance EuropaIsland Island) CountriesAndRegions.kif 139-139 Europa island is an instance of island
(instance GloriosoIslands Island) CountriesAndRegions.kif 141-141 Glorioso islands is an instance of island
(instance Guam Island) CountriesAndRegions.kif 4246-4246 Guam is an instance of island
(instance HeardIslandAndMcDonaldIslands Island) CountriesAndRegions.kif 143-143 Heard island and mc donald islands is an instance of island
(instance Iceland Island) CountriesAndRegions.kif 1257-1257 Iceland is an instance of island
(instance Japan Island) CountriesAndRegions.kif 550-550 Japan is an instance of island
(instance JuanDeNovaIsland Island) CountriesAndRegions.kif 145-145 Juan de nova island is an instance of island
(instance LongIsland Island) CountriesAndRegions.kif 804-804 Long island is an instance of island
(instance Mayotte Island) CountriesAndRegions.kif 147-147 Mayotte is an instance of island
(instance Rhodes Island) CountriesAndRegions.kif 1327-1327 Rhodes is an instance of island
(instance TromelinIsland Island) CountriesAndRegions.kif 149-149 Tromelin island is an instance of island
(termFormat ChineseLanguage Island "岛") chinese_format.kif 957-957 Tromelin island is an instance of island
(termFormat EnglishLanguage Island "island") english_format.kif 1121-1121 Tromelin island is an instance of island
(termFormat FrenchLanguage Island "�le") french_format.kif 633-633 Tromelin island is an instance of island
(termFormat Hindi Island "dvIpa") terms-hindi.txt 164-164 Tromelin island is an instance of island
(termFormat ItalianLanguage Island "Isola") terms-it.txt 167-167 Tromelin island is an instance of island
(termFormat JapaneseLanguage Island "島") japanese_format.kif 2318-2318 Tromelin island is an instance of island
(termFormat PortugueseLanguage Island "Ilha") portuguese_format.kif 585-585 Tromelin island is an instance of island
(termFormat cb Island "pulo isla") terms-cb.txt 169-169 Tromelin island is an instance of island
(termFormat cz Island "island") terms-cz.txt 201-201 Tromelin island is an instance of island
(termFormat de Island "Insel") terms-de.txt 460-460 Tromelin island is an instance of island

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 14383-14389
(=>
    (instance ?ISLAND Island)
    (not
        (exists (?AREA ?PART1 ?PART2)
            (and
                (instance ?AREA LandArea)
                (part ?PART1 ?ISLAND)
                (part ?PART2 ?AREA)
                (not
                    (part ?ISLAND ?AREA))
                (not
                    (part ?AREA ?ISLAND))
                (meetsSpatially ?PART1 ?PART2)))))		 Merge.kif 14369-14381
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))		 Merge.kif 14391-14396

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


(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))		 Geography.kif 7460-7464
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))		 Merge.kif 14334-14341
(=>
    (member ?ISLAND VirginIslands)
    (instance ?ISLAND Island))		 CountriesAndRegions.kif 1169-1171


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



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