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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsyutEgypt

Sigma KEE - AsyutEgypt
AsyutEgypt

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


(documentation AsyutEgypt EnglishLanguage "The City of Asyut in Egypt.") CountriesAndRegions.kif 1467-1467
(geographicSubregion AsyutEgypt Egypt) CountriesAndRegions.kif 2568-2568
(instance AsyutEgypt City) CountriesAndRegions.kif 1466-1466

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


(names "Asyut" AsyutEgypt) CountriesAndRegions.kif 2569-2569
(termFormat ChineseLanguage AsyutEgypt "asyut埃及") domainEnglishFormat.kif 8844-8844
(termFormat ChineseTraditionalLanguage AsyutEgypt "asyut埃及") domainEnglishFormat.kif 8843-8843
(termFormat EnglishLanguage AsyutEgypt "asyut egypt") domainEnglishFormat.kif 8842-8842


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