| Taiwan(taiwan)
| | China, Nationalist_China, Republic_of_China, Taiwan |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3510-3510 | Taiwan dollar is a currency type of taiwan |
| 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 555-555 | Advanced economy is an economy type of taiwan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 377-377 | Four dragons economy is an economy type of taiwan |
| 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 | Taiwan is a geographic subregion of eastern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 557-557 | Taiwan is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4158-4158 | "ROC" is an abbreviation of taiwan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3720-3720 | Taiwan is a claimed territory of paracel islands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3723-3723 | Taiwan is a claimed territory of spratly islands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4157-4157 | Taiwan has name "Republic of China" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4156-4156 | Taiwan has name "Taiwan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56690-56690 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56689-56689 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56688-56688 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2850-2850 | "TW" in ISO-3166-1-alpha-2 denotes taiwan |
|
|
|