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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Indonesia

Sigma KEE - Indonesia
Indonesia(indonesia)
Dutch_East_Indies, Indonesia, Republic_of_Indonesia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3213-3213 Indonesian rupiah is a currency type of indonesia
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 Developing country is an economy type of indonesia
No TPTP formula. May not be expressible in strict first order. Economy.kif 276-276 Less developed country is an economy type of indonesia
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 Indonesia is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 611-611 Indonesia is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2526-2526 Ambon indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2953-2953 Island of bali indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2965-2965 Jakarta indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3177-3177 Malukka islands indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3216-3216 Medan indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3381-3381 Papua indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3554-3554 Sulawesi indonesia is a geographic subregion of indonesia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4178-4178 Indonesia has name "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" in ISO-3166-1-alpha-2 denotes indonesia


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