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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - JarvisIsland

appearance as argument number 1

(dependentGeopoliticalArea JarvisIsland UnitedStates) CountriesAndRegions.kif 3801-3801
(documentation JarvisIsland EnglishLanguage "A dependency of the UnitedStates") CountriesAndRegions.kif 3802-3802
(externalImage JarvisIsland " pictures/ geography/ Country_Maps/ J/ Jarvis_Island.png") pictureList.kif 528-528
(geographicSubregion JarvisIsland Oceania) CountriesAndRegions.kif 671-671
(instance JarvisIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3895-3895
(instance JarvisIsland LandArea) CountriesAndRegions.kif 645-645
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590

appearance as argument number 2

(names "Jarvis Island" JarvisIsland) CountriesAndRegions.kif 4207-4207
(termFormat EnglishLanguage JarvisIsland "jarvis island") domainEnglishFormat.kif 5671-5671

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