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 est une instance de nation |
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 s'appele nom "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 |