TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint Island LandlockedArea)	Geography.kif 7454-7454	Island is disjoint from LandlockedArea
(documentation Island ChineseLanguage "这是一片四面八方环 WaterArea 的 LandArea。")	chinese_format.kif 3345-3345	Island is disjoint from LandlockedArea
(documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.")	Merge.kif 14366-14367	Island is disjoint from LandlockedArea
(externalImage Island "http://articulatesoftware.com/SUMOpictures/geography/ island.png")	pictureList.kif 521-521	Island is disjoint from LandlockedArea
(externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg")	pictureList.kif 117-117	Island is disjoint from LandlockedArea
(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	BassasDaIndia is an instance of island
(instance BouvetIsland Island)	CountriesAndRegions.kif 137-137	BouvetIsland 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	EuropaIsland is an instance of island
(instance GloriosoIslands Island)	CountriesAndRegions.kif 141-141	GloriosoIslands 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	HeardIslandAndMcDonaldIslands 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	JuanDeNovaIsland is an instance of island
(instance LongIsland Island)	CountriesAndRegions.kif 804-804	LongIsland 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	TromelinIsland is an instance of island
(termFormat ChineseLanguage Island "岛")	chinese_format.kif 957-957	TromelinIsland is an instance of island
(termFormat EnglishLanguage Island "island")	english_format.kif 1121-1121	TromelinIsland is an instance of island
(termFormat FrenchLanguage Island "�le")	french_format.kif 633-633	TromelinIsland is an instance of island
(termFormat Hindi Island "dvIpa")	terms-hindi.txt 164-164	TromelinIsland is an instance of island
(termFormat ItalianLanguage Island "Isola")	terms-it.txt 167-167	TromelinIsland is an instance of island
(termFormat JapaneseLanguage Island "島")	japanese_format.kif 2318-2318	TromelinIsland is an instance of island
(termFormat PortugueseLanguage Island "Ilha")	portuguese_format.kif 585-585	TromelinIsland is an instance of island
(termFormat cb Island "pulo isla")	terms-cb.txt 169-169	TromelinIsland is an instance of island
(termFormat cz Island "island")	terms-cz.txt 201-201	TromelinIsland is an instance of island
(termFormat de Island "Insel")	terms-de.txt 460-460	TromelinIsland is an instance of island
(termFormat ro Island "insulã")	relations-ro.kif 654-654	TromelinIsland 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	If an object is an instance of island and another object is an instance of geographic area and the object meets the other object, then the other object is not an instance of land area
(=> (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	If an object is an instance of island, then there don't exist another object, a third object and a fourth object such that the other object is an instance of land area and the third object is a part of the object and the fourth object is a part of the other object and the object is not a part of the other object and the other object is not a part of the object and the third object meets the fourth object
(=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER))))	Merge.kif 14391-14396	If an object is an instance of island, then there exists another object such that the other object is an instance of water area and the object meets the other object

consequent

(=> (and (instance ?Archipelago Archipelago) (component ?Part ?Archipelago)) (instance ?Part Island))	Geography.kif 7460-7464	If a corpuscular object is an instance of Archipelago and another corpuscular object is a component of the corpuscular object, then the other corpuscular object is an instance of island
(=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island)))))	Merge.kif 14334-14341	If an object is an instance of land area, then there exists another object such that the object is a part of the other object and the other object is an instance of continent or the other object is an instance of island
(=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island))	CountriesAndRegions.kif 1169-1171	If a physical is a member of VirginIslands, then the physical is an instance of island

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

KB Term:			Term intersection

English Word: