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 2572-2572 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 2573-2573 Asyut egypt has &ames$"name" "Asyut"
(termFormat ChineseLanguage AsyutEgypt "asyut埃及") domainEnglishFormat.kif 8845-8845 Asyut egypt has &ames$"name" "Asyut"
(termFormat ChineseTraditionalLanguage AsyutEgypt "asyut埃及") domainEnglishFormat.kif 8844-8844 Asyut egypt has &ames$"name" "Asyut"
(termFormat EnglishLanguage AsyutEgypt "asyut egypt") domainEnglishFormat.kif 8843-8843 Asyut egypt has &ames$"name" "Asyut"


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