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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LuxorEgypt

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 35369-35369
(termFormat ChineseTraditionalLanguage LuxorEgypt "盧克索埃及") domainEnglishFormat.kif 35368-35368
(termFormat EnglishLanguage LuxorEgypt "luxor egypt") domainEnglishFormat.kif 35367-35367


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 is open source software produced by Articulate Software and its partners