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 3798-3798 Jarvis island is a dependent of united states
(documentation JarvisIsland EnglishLanguage "A dependency of the UnitedStates") CountriesAndRegions.kif 3799-3799
(externalImage JarvisIsland " pictures/ geography/ Country_Maps/ J/ Jarvis_Island.png") pictureList.kif 528-528 " geography/ Country_Maps/ J/ Jarvis_Island.png" is a URL depicting jarvis island
(geographicSubregion JarvisIsland Oceania) CountriesAndRegions.kif 671-671 Jarvis island is a geographic subregion of oceania
(instance JarvisIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3892-3892 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 4204-4204 Jarvis island has name "Jarvis Island"
(termFormat EnglishLanguage JarvisIsland "jarvis island") domainEnglishFormat.kif 5671-5671 "jarvis island" is the printable form of jarvis island in english language

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