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 est une instance de AmericanState |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1105-1105 | Tennessee rencontre Alabama |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1107-1107 | Tennessee rencontre Arkansas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1106-1106 | Tennessee rencontre Mississippi |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1108-1108 | Tennessee rencontre Missouri |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | Kentucky rencontre Tennessee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1065-1065 | NorthCarolina rencontre Tennessee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1136-1136 | Virginia rencontre Tennessee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 733-733 | MemphisTennessee est une partie de Tennessee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | NashvilleTennessee est une partie de Tennessee |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57496-57496 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57495-57495 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57494-57494 |