Taiwan
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3507-3507 | currencyType Taiwan and TaiwanDollar |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1361-1361 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 560-560 | economyType Taiwan and AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 377-377 | economyType Taiwan and FourDragonsEconomy |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 769-769 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 556-556 | geographicSubregion Taiwan and EasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 557-557 | Taiwan e' uma instancia de Nacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4156-4156 | abbreviation "ROC" and Taiwan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3718-3718 | claimedTerritory ParacelIslands and Taiwan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3721-3721 | claimedTerritory SpratlyIslands and Taiwan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4155-4155 | Taiwan se chama nome "Republic of China" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4154-4154 | Taiwan se chama nome "Taiwan" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56799-56799 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56798-56798 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56797-56797 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2880-2880 | codeMapping ISO-3166-1-alpha-2, "TW" and Taiwan |