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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 阿尔及利亚 是 国家 的 instance

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"
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 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