| Tennessee(田纳西)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1109-1109 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 775-775 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1104-1104 | 田纳西 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1105-1105 | 田纳西 接上 阿拉巴马 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1107-1107 | 田纳西 接上 阿肯色州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1106-1106 | 田纳西 接上 密西西比州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1108-1108 | 田纳西 接上 密苏里州 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | 肯塔基 接上 田纳西 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1065-1065 | 北卡罗来纳 接上 田纳西 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1136-1136 | 弗吉尼亚州 接上 田纳西 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 733-733 | 孟菲斯田纳西州 是 田纳西 的 part |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | 纳什维尔田纳西州 是 田纳西 的 part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57494-57494 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57493-57493 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57492-57492 |
|
|
|