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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EilatIsrael
EilatIsrael(eilat israel)

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


(documentation EilatIsrael EnglishLanguage "The City of Eilat in Israel.") CountriesAndRegions.kif 1697-1697
(externalImage EilatIsrael "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ YaelEilat_ST_07.JPG") pictureList.kif 3477-3477
(externalImage EilatIsrael "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Eilat_Israel_Map.png") pictureList.kif 3480-3480
(externalImage EilatIsrael "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ The_Underwater_Observatory_in_Eilat.jpg") pictureList.kif 3478-3478
(externalImage EilatIsrael "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ North_Beach_Eilat.jpg") pictureList.kif 3319-3319
(geographicSubregion EilatIsrael Israel) CountriesAndRegions.kif 2817-2817 Eilat israel is a geographic subregion of israel
(instance EilatIsrael City) CountriesAndRegions.kif 1696-1696 Eilat israel is an instance of city

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


(names "Eilat" EilatIsrael) CountriesAndRegions.kif 2818-2818 Eilat israel has name "Eilat"
(termFormat ChineseLanguage EilatIsrael "埃拉特以色列") domainEnglishFormat.kif 21376-21376 Eilat israel has name "Eilat"
(termFormat ChineseTraditionalLanguage EilatIsrael "埃拉特以色列") domainEnglishFormat.kif 21375-21375 Eilat israel has name "Eilat"
(termFormat EnglishLanguage EilatIsrael "eilat israel") domainEnglishFormat.kif 21374-21374 Eilat israel has name "Eilat"


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