| 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 3844-3844 | Taiwan dollar is a currency type of taiwan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1361-1361 | Taiwan dollar is a currency type of taiwan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 560-560 | 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 | Four dragons economy is an economy type of taiwan |
| 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 4151-4151 | "ROC" is an abbreviation of taiwan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3713-3713 | Taiwan is a claimed territory of paracel islands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3716-3716 | Taiwan is a claimed territory of spratly islands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4150-4150 | Taiwan has &ames$"name" "Republic of China" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4149-4149 | Taiwan has &ames$"name" "Taiwan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56801-56801 | Taiwan has &ames$"name" "Taiwan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56800-56800 | Taiwan has &ames$"name" "Taiwan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56799-56799 | Taiwan has &ames$"name" "Taiwan" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2882-2882 | "TW" in ISO_3166_1_alpha_2 denotes taiwan |
|
|
|