|
|
  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 | Tennessee e' uma instancia de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1105-1105 | Tennessee encontra Alabama |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1107-1107 | Tennessee encontra Arkansas |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1106-1106 | Tennessee encontra Mississippi |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1108-1108 | Tennessee encontra Missouri |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | Kentucky encontra Tennessee |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1065-1065 | NorthCarolina encontra Tennessee |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1136-1136 | Virginia encontra Tennessee |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 733-733 | MemphisTennessee e' uma &parte de Tennessee |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | NashvilleTennessee e' uma &parte de Tennessee |
| 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 |
|
|
|
