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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LuxorEgypt
LuxorEgypt

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 geographicSubregion LuxorEgypt and Egypt
(instance LuxorEgypt City) CountriesAndRegions.kif 1984-1984 LuxorEgypt est une instance de ville

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


(names "Luxor" LuxorEgypt) CountriesAndRegions.kif 3155-3155 LuxorEgypt s'appele nom "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 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