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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TiaretAlgeria

appearance as argument number 1

(documentation TiaretAlgeria EnglishLanguage "The City of Tiaret in Algeria.") CountriesAndRegions.kif 2385-2385
(geographicSubregion TiaretAlgeria Algeria) CountriesAndRegions.kif 3599-3599 geographicSubregion TiaretAlgeria and Algeria
(instance TiaretAlgeria City) CountriesAndRegions.kif 2384-2384 TiaretAlgeria都市instance では %n

appearance as argument number 2

(names "Tiaret" TiaretAlgeria) CountriesAndRegions.kif 3600-3600 TiaretAlgeria は "Tiaret" の name を 持って %n{ない}
(termFormat ChineseLanguage TiaretAlgeria "蒂亚雷特阿尔及利亚") domainEnglishFormat.kif 57998-57998
(termFormat ChineseTraditionalLanguage TiaretAlgeria "蒂亞雷特阿爾及利亞") domainEnglishFormat.kif 57997-57997
(termFormat EnglishLanguage TiaretAlgeria "tiaret algeria") domainEnglishFormat.kif 57996-57996

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