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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChristmasIsland
ChristmasIsland(christmas island)
christmas_island

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


(dependentGeopoliticalArea ChristmasIsland Australia) CountriesAndRegions.kif 3755-3755 Christmas island is a dependent of australia
(documentation ChristmasIsland EnglishLanguage "A dependency of Australia") CountriesAndRegions.kif 3756-3756
(externalImage ChristmasIsland "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ C/ Christmas_Island.png") pictureList.kif 342-342 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ Country_Maps/ C/ Christmas_Island.png" is a URL depicting christmas island
(geographicSubregion ChristmasIsland SoutheasternAsia) CountriesAndRegions.kif 606-606 Christmas island is a geographic subregion of southeastern asia
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870 Christmas island is an instance of dependency or special sovereignty area
(instance ChristmasIsland LandArea) CountriesAndRegions.kif 593-593 Christmas island is an instance of land area

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


(names "Christmas Island" ChristmasIsland) CountriesAndRegions.kif 4176-4176 Christmas island has name "Christmas Island"
(termFormat EnglishLanguage ChristmasIsland "christmas island") domainEnglishFormat.kif 2880-2880 "christmas island" is the printable form of christmas island in english language

appearance as argument number 3
-------------------------


(codeMapping ISO-3166-1-alpha-2 "CX" ChristmasIsland) Media.kif 2819-2819 "CX" in ISO-3166-1-alpha-2 denotes christmas island


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