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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Algeria

Sigma KEE - Algeria
Algeria(阿爾及利亞)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2949-2949 阿爾及利亞第納爾阿爾及利亞currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1178-1178
No TPTP formula. May not be expressible in strict first order. Economy.kif 616-616 發展中國家阿爾及利亞economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 232-232 較未發達國家阿爾及利亞economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 217-217
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 116-116 阿爾及利亞北非geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 117-117 阿爾及利亞 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2506-2506 Ain defla 阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2508-2508 Ain el hajar 阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2520-2520 阿爾及爾,阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2556-2556 Arzew 阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2672-2672 布阿拉阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2674-2674 Bouze guene 阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2901-2901 哈米斯米利亞納阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3061-3061 凱莉爾阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3107-3107 拉爾巴阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3116-3116 阿爾及利亞 les eucalyptus 地區阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3339-3339 石油基地阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3352-3352 奧蘭阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3564-3564 塔梅茲圭達阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3599-3599 蒂亞雷特阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3601-3601 提拉阿爾及利亞阿爾及利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3946-3946 "Algeria" and 阿爾及利亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6486-6486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6485-6485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6484-6484

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2690-2690 "DZ" 在 ISO-3166-1-alpha-2 denotes 阿爾及利亞


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