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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Island
Island

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


(disjoint Island LandlockedArea) Geography.kif 5515-5515 disjoint Island and LandlockedArea
(documentation Island ChineseLanguage "这是一片四面八方环 WaterAreaLandArea。") chinese_format.kif 3345-3345
(documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") Merge.kif 13170-13171
(externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") pictureList.kif 117-117
(externalImage Island "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ island.png") pictureList.kif 521-521
(subclass Island LandArea) Merge.kif 13169-13169 subclass Island and LandArea

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


(instance BassasDaIndia Island) CountriesAndRegions.kif 135-135 instance BassasDaIndia and Island
(instance BouvetIsland Island) CountriesAndRegions.kif 137-137 instance BouvetIsland and Island
(instance Cuba Island) CountriesAndRegions.kif 439-439 instance Cuba and Island
(instance EuropaIsland Island) CountriesAndRegions.kif 139-139 instance EuropaIsland and Island
(instance GloriosoIslands Island) CountriesAndRegions.kif 141-141 instance GloriosoIslands and Island
(instance Guam Island) CountriesAndRegions.kif 4248-4248 instance Guam and Island
(instance HeardIslandAndMcDonaldIslands Island) CountriesAndRegions.kif 143-143 instance HeardIslandAndMcDonaldIslands and Island
(instance Iceland Island) CountriesAndRegions.kif 1257-1257 instance Iceland and Island
(instance Japan Island) CountriesAndRegions.kif 550-550 instance Japan and Island
(instance JuanDeNovaIsland Island) CountriesAndRegions.kif 145-145 instance JuanDeNovaIsland and Island
(instance LongIsland Island) CountriesAndRegions.kif 804-804 instance LongIsland and Island
(instance Mayotte Island) CountriesAndRegions.kif 147-147 instance Mayotte and Island
(instance Rhodes Island) CountriesAndRegions.kif 1327-1327 instance Rhodes and Island
(instance TromelinIsland Island) CountriesAndRegions.kif 149-149 instance TromelinIsland and Island
(termFormat ChineseLanguage Island "岛") chinese_format.kif 957-957
(termFormat EnglishLanguage Island "island") english_format.kif 1126-1126

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


(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))
Merge.kif 13187-13193
(=>
    (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 13173-13185
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))
Merge.kif 13195-13200

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


(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))
Geography.kif 5521-5525
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 13138-13145
(=>
    (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