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 |
|