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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LuxorEgypt
LuxorEgypt(luxor egypt)El-Aksur, Luxor

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


(documentation LuxorEgypt EnglishLanguage "The City of Luxor in Egypt.") CountriesAndRegions.kif 1985-1985
(geographicSubregion LuxorEgypt Egypt) CountriesAndRegions.kif 3154-3154 Luxor egypt is a geographic subregion of egypt
(instance LuxorEgypt City) CountriesAndRegions.kif 1984-1984 Luxor egypt is an instance of city

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


(names "Luxor" LuxorEgypt) CountriesAndRegions.kif 3155-3155 Luxor egypt has name "Luxor"
(termFormat ChineseLanguage LuxorEgypt "卢克索埃及") domainEnglishFormat.kif 35403-35403 Luxor egypt has name "Luxor"
(termFormat ChineseTraditionalLanguage LuxorEgypt "盧克索埃及") domainEnglishFormat.kif 35402-35402 Luxor egypt has name "Luxor"
(termFormat EnglishLanguage LuxorEgypt "luxor egypt") domainEnglishFormat.kif 35401-35401 Luxor egypt has name "Luxor"


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