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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Island
Island(�le)

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


(disjoint Island LandlockedArea) Geography.kif 5972-5972 �le Est disjoint de LandlockedArea
(documentation Island ChineseLanguage "这是一片四面八方环 WaterAreaLandArea。") chinese_format.kif 3345-3345 �le Est disjoint de LandlockedArea
(documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") Merge.kif 14329-14330 �le Est disjoint de LandlockedArea
(externalImage Island "http://articulatesoftware.com/SUMOpictures/geography/ island.png") pictureList.kif 521-521 �le Est disjoint de LandlockedArea
(externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") pictureList.kif 117-117 �le Est disjoint de LandlockedArea
(subclass Island LandArea) Merge.kif 14328-14328 �le Est une sous-classe de zone de terre

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


(instance BassasDaIndia Island) CountriesAndRegions.kif 135-135 BassasDaIndia est une instance de �le
(instance BouvetIsland Island) CountriesAndRegions.kif 137-137 BouvetIsland est une instance de �le
(instance Cuba Island) CountriesAndRegions.kif 439-439 Cuba est une instance de �le
(instance EuropaIsland Island) CountriesAndRegions.kif 139-139 EuropaIsland est une instance de �le
(instance GloriosoIslands Island) CountriesAndRegions.kif 141-141 GloriosoIslands est une instance de �le
(instance Guam Island) CountriesAndRegions.kif 4246-4246 Guam est une instance de �le
(instance HeardIslandAndMcDonaldIslands Island) CountriesAndRegions.kif 143-143 HeardIslandAndMcDonaldIslands est une instance de �le
(instance Iceland Island) CountriesAndRegions.kif 1257-1257 Iceland est une instance de �le
(instance Japan Island) CountriesAndRegions.kif 550-550 Japan est une instance de �le
(instance JuanDeNovaIsland Island) CountriesAndRegions.kif 145-145 JuanDeNovaIsland est une instance de �le
(instance LongIsland Island) CountriesAndRegions.kif 804-804 LongIsland est une instance de �le
(instance Mayotte Island) CountriesAndRegions.kif 147-147 Mayotte est une instance de �le
(instance Rhodes Island) CountriesAndRegions.kif 1327-1327 Rhodes est une instance de �le
(instance TromelinIsland Island) CountriesAndRegions.kif 149-149 TromelinIsland est une instance de �le
(termFormat ChineseLanguage Island "岛") chinese_format.kif 957-957 TromelinIsland est une instance de �le
(termFormat EnglishLanguage Island "island") english_format.kif 1121-1121 TromelinIsland est une instance de �le
(termFormat FrenchLanguage Island "�le") french_format.kif 633-633 TromelinIsland est une instance de �le
(termFormat Hindi Island "dvIpa") terms-hindi.txt 164-164 TromelinIsland est une instance de �le
(termFormat ItalianLanguage Island "Isola") terms-it.txt 167-167 TromelinIsland est une instance de �le
(termFormat JapaneseLanguage Island "島") japanese_format.kif 2318-2318 TromelinIsland est une instance de �le
(termFormat PortugueseLanguage Island "Ilha") portuguese_format.kif 585-585 TromelinIsland est une instance de �le
(termFormat cb Island "pulo isla") terms-cb.txt 169-169 TromelinIsland est une instance de �le
(termFormat cz Island "island") terms-cz.txt 201-201 TromelinIsland est une instance de �le
(termFormat de Island "Insel") terms-de.txt 460-460 TromelinIsland est une instance de �le

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 14346-14352
(=>
    (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 14332-14344
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))
Merge.kif 14354-14359

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


(=>
    (and
        (instance ?Archipelago Archipelago)
        (component ?Part ?Archipelago))
    (instance ?Part Island))
Geography.kif 5978-5982
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 14297-14304
(=>
    (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