|
|
  Taiwan
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3507-3507 | 台湾元 是 台湾 的 currency 类别 |
| 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 | 发达经济 是 台湾 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 377-377 | 四龙经济 是 台湾 的 economy 类别 |
| 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 | 台湾 是 东亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 557-557 | 台湾 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4156-4156 | 台湾 是 "ROC" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3718-3718 | 台湾 是 西沙群岛 的 claimed 领土 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3721-3721 | 台湾 是 南沙群岛 的 claimed 领土 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4155-4155 | 台湾 的名 是 "Republic of China" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4154-4154 | 台湾 的名 是 "Taiwan" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56797-56797 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56796-56796 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56795-56795 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2880-2880 | "TW" 在 ISO-3166-1-alpha-2 denotes 台湾 |
|
|
|
