Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - JuanDeNovaIsland
JuanDeNovaIsland(juan de nova island)

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


(instance JuanDeNovaIsland Island) CountriesAndRegions.kif 145-145 Juan de nova island is an instance of island
(meetsSpatially JuanDeNovaIsland IndianOcean) CountriesAndRegions.kif 146-146 Juan de nova island meets indian ocean
(geographicSubregion JuanDeNovaIsland SouthernAfrica) CountriesAndRegions.kif 163-163 Juan de nova island is a geographic subregion of southern africa
(dependentGeopoliticalArea JuanDeNovaIsland France) CountriesAndRegions.kif 3803-3803 Juan de nova island is a dependent of france
(documentation JuanDeNovaIsland EnglishLanguage "A dependency of France") CountriesAndRegions.kif 3804-3804 Juan de nova island is a dependent of france
(instance JuanDeNovaIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3894-3894 Juan de nova island is an instance of dependency or special sovereignty area
(externalImage JuanDeNovaIsland "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ J/ Juan_de_Nova_Island.png") pictureList.kif 532-532 Juan de nova island is an instance of dependency or special sovereignty area

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


(names "Juan de Nova Island" JuanDeNovaIsland) CountriesAndRegions.kif 3963-3963 Juan de nova island has name "Juan de Nova Island"
(termFormat EnglishLanguage JuanDeNovaIsland "juan de nova island") domainEnglishFormat.kif 31803-31803 Juan de nova island has name "Juan de Nova Island"
(termFormat ChineseTraditionalLanguage JuanDeNovaIsland "胡安德諾瓦島") domainEnglishFormat.kif 31804-31804 Juan de nova island has name "Juan de Nova Island"
(termFormat ChineseLanguage JuanDeNovaIsland "胡安德诺瓦岛") domainEnglishFormat.kif 31805-31805 Juan de nova island has name "Juan de Nova Island"


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners