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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Indonesia
Indonesia(印度尼西亚)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3213-3213 印尼盾 是 印度尼西亚 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1261-1261
No TPTP formula. May not be expressible in strict first order. Economy.kif 660-660 发展中国家 是 印度尼西亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 276-276 较未发达国家 是 印度尼西亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 515-515
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 610-610 印度尼西亚 是 东南亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 611-611 印度尼西亚 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2526-2526 安汶印度尼西亚 是 印度尼西亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2953-2953 巴厘岛印度尼西亚 是 印度尼西亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2965-2965 雅加达，印度尼西亚 是 印度尼西亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3177-3177 马鲁库群岛印度尼西亚 是 印度尼西亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3216-3216 印度尼西亚棉兰 是 印度尼西亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3381-3381 巴布亚印度尼西亚 是 印度尼西亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3554-3554 苏拉威西岛印度尼西亚 是 印度尼西亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4178-4178 印度尼西亚 的名 是 "Indonesia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29695-29695
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29694-29694
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29693-29693

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2717-2717 "ID" 在 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