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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LuxorEgypt

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
(instance LuxorEgypt City) CountriesAndRegions.kif 1984-1984

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


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