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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Island

Sigma KEE - Island
Island(島)

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


(disjoint Island LandlockedArea) Geography.kif 5839-5839 LandlockedAreadisjoint では %n
(documentation Island ChineseLanguage "这是一片四面八方环 WaterAreaLandArea。") chinese_format.kif 3345-3345
(documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") Merge.kif 14191-14192
(externalImage Island "http://articulatesoftware.com/SUMOpictures/geography/ island.png") pictureList.kif 521-521
(externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") pictureList.kif 117-117
(subclass Island LandArea) Merge.kif 14190-14190 土地面積subclass では %n

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


(instance BassasDaIndia Island) CountriesAndRegions.kif 135-135 BassasDaIndiainstance では %n
(instance BouvetIsland Island) CountriesAndRegions.kif 137-137 BouvetIslandinstance では %n
(instance Cuba Island) CountriesAndRegions.kif 439-439 Cubainstance では %n
(instance EuropaIsland Island) CountriesAndRegions.kif 139-139 EuropaIslandinstance では %n
(instance GloriosoIslands Island) CountriesAndRegions.kif 141-141 GloriosoIslandsinstance では %n
(instance Guam Island) CountriesAndRegions.kif 4246-4246 Guaminstance では %n
(instance HeardIslandAndMcDonaldIslands Island) CountriesAndRegions.kif 143-143 HeardIslandAndMcDonaldIslandsinstance では %n
(instance Iceland Island) CountriesAndRegions.kif 1257-1257 Icelandinstance では %n
(instance Japan Island) CountriesAndRegions.kif 550-550 Japaninstance では %n
(instance JuanDeNovaIsland Island) CountriesAndRegions.kif 145-145 JuanDeNovaIslandinstance では %n
(instance LongIsland Island) CountriesAndRegions.kif 804-804 LongIslandinstance では %n
(instance Mayotte Island) CountriesAndRegions.kif 147-147 Mayotteinstance では %n
(instance Rhodes Island) CountriesAndRegions.kif 1327-1327 Rhodesinstance では %n
(instance TromelinIsland Island) CountriesAndRegions.kif 149-149 TromelinIslandinstance では %n
(termFormat ChineseLanguage Island "岛") chinese_format.kif 957-957
(termFormat EnglishLanguage Island "island") english_format.kif 1121-1121
(termFormat FrenchLanguage Island "�le") french_format.kif 633-633
(termFormat Hindi Island "dvIpa") terms-hindi.txt 164-164
(termFormat ItalianLanguage Island "Isola") terms-it.txt 167-167
(termFormat JapaneseLanguage Island "島") japanese_format.kif 2318-2318
(termFormat PortugueseLanguage Island "Ilha") portuguese_format.kif 585-585
(termFormat cb Island "pulo isla") terms-cb.txt 169-169
(termFormat cz Island "island") terms-cz.txt 201-201
(termFormat ro Island "insulã") relations-ro.kif 654-654

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 14208-14214
(=>
    (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 14194-14206
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))
Merge.kif 14216-14221

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


(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))
Geography.kif 5845-5849
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 14159-14166
(=>
    (member ?ISLAND VirginIslands)
    (instance ?ISLAND Island))
CountriesAndRegions.kif 1169-1171


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