TreeView Knowledge Base Browser - Indonesia

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	例印度尼西亞 and Nation

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" and 印度尼西亞
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 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