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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JarvisIsland
JarvisIsland(jarvis island)

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


(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3799-3799 Jarvis island is a dependent of united states
(documentation JarvisIsland EnglishLanguage "A dependency of the UnitedStates") CountriesAndRegions.kif 3800-3800
(externalImage JarvisIsland "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ J/ Jarvis_Island.png") pictureList.kif 528-528
(geographicSubregion JarvisIsland Oceania) CountriesAndRegions.kif 671-671 Jarvis island is a geographic subregion of oceania
(instance JarvisIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3893-3893 Jarvis island is an instance of dependency or special sovereignty area
(instance JarvisIsland LandArea) CountriesAndRegions.kif 645-645 Jarvis island is an instance of land area
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590 Jarvis island is a member of UnitedStatesMinorOutlyingIslands

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


(names "Jarvis Island" JarvisIsland) CountriesAndRegions.kif 4205-4205 Jarvis island has name "Jarvis Island"
(termFormat ChineseLanguage JarvisIsland "贾维斯岛") domainEnglishFormat.kif 31453-31453
(termFormat ChineseTraditionalLanguage JarvisIsland "賈維斯島") domainEnglishFormat.kif 31452-31452
(termFormat EnglishLanguage JarvisIsland "jarvis island") domainEnglishFormat.kif 31451-31451


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