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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AsyutEgypt
AsyutEgypt(asyut egypt)

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 Asyut egypt is a geographic subregion of egypt
(instance AsyutEgypt City) CountriesAndRegions.kif 1466-1466 Asyut egypt is an instance of city

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


(names "Asyut" AsyutEgypt) CountriesAndRegions.kif 2569-2569 Asyut egypt has name "Asyut"
(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 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