|
|
  Indonesia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3213-3213 | currencyType Indonesia and IndonesianRupiah |
| 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 | economyType Indonesia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 276-276 | economyType Indonesia and LessDevelopedCountry |
| 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 | geographicSubregion Indonesia and SoutheasternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 611-611 | Indonesia e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2526-2526 | geographicSubregion AmbonIndonesia and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2953-2953 | geographicSubregion IslandOfBaliIndonesia and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2965-2965 | geographicSubregion JakartaIndonesia and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3177-3177 | geographicSubregion MalukkaIslandsIndonesia and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3216-3216 | geographicSubregion MedanIndonesia and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3381-3381 | geographicSubregion PapuaIndonesia and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3554-3554 | geographicSubregion SulawesiIndonesia and Indonesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4178-4178 | Indonesia se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "ID" and Indonesia |
|
|
|
