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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoralSeaIslands
CoralSeaIslands

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


(dependentGeopoliticalArea CoralSeaIslands Australia) CountriesAndRegions.kif 3764-3764 dependentGeopoliticalArea CoralSeaIslands and Australia
(documentation CoralSeaIslands EnglishLanguage "A dependency of Australia") CountriesAndRegions.kif 3765-3765
(externalImage CoralSeaIslands "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ C/ Coral_Sea_Islands.png") pictureList.kif 368-368
(geographicSubregion CoralSeaIslands Oceania) CountriesAndRegions.kif 665-665 geographicSubregion CoralSeaIslands and Oceania
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3875-3875 instance CoralSeaIslands and DependencyOrSpecialSovereigntyArea
(instance CoralSeaIslands LandArea) CountriesAndRegions.kif 642-642 instance CoralSeaIslands and LandArea

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


(names "Coral Sea Islands" CoralSeaIslands) CountriesAndRegions.kif 4200-4200 names "Coral Sea Islands" and CoralSeaIslands
(termFormat ChineseLanguage CoralSeaIslands "珊瑚海岛屿") domainEnglishFormat.kif 17257-17257
(termFormat ChineseTraditionalLanguage CoralSeaIslands "珊瑚海島嶼") domainEnglishFormat.kif 17256-17256
(termFormat EnglishLanguage CoralSeaIslands "coral sea islands") domainEnglishFormat.kif 17255-17255


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners