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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HamisMiliyanaAlgeria

appearance as argument number 1

(documentation HamisMiliyanaAlgeria EnglishLanguage "The City of HamisMiliyana in Algeria.") CountriesAndRegions.kif 1773-1773
(geographicSubregion HamisMiliyanaAlgeria Algeria) CountriesAndRegions.kif 2901-2901 geographicSubregion HamisMiliyanaAlgeria and Algeria
(instance HamisMiliyanaAlgeria City) CountriesAndRegions.kif 1772-1772 HamisMiliyanaAlgeria都市instance では %n

appearance as argument number 2

(names "Hamis Miliyana" HamisMiliyanaAlgeria) CountriesAndRegions.kif 2902-2902 HamisMiliyanaAlgeria は "Hamis Miliyana" の name を 持って %n{ない}
(termFormat ChineseLanguage HamisMiliyanaAlgeria "哈米斯米利亚纳阿尔及利亚") domainEnglishFormat.kif 27288-27288
(termFormat ChineseTraditionalLanguage HamisMiliyanaAlgeria "哈米斯米利亞納阿爾及利亞") domainEnglishFormat.kif 27287-27287
(termFormat EnglishLanguage HamisMiliyanaAlgeria "hamis miliyana algeria") domainEnglishFormat.kif 27286-27286

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