|
|
  Kentucky
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 970-970 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 535-535 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 965-965 | 肯塔基 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 968-968 | 肯塔基 接上 伊利诺伊 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 969-969 | 肯塔基 接上 Indiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 967-967 | 肯塔基 接上 密苏里州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | 肯塔基 接上 田纳西 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1073-1073 | 俄亥俄州 接上 肯塔基 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1137-1137 | 弗吉尼亚州 接上 肯塔基 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1145-1145 | WestVirginia 接上 肯塔基 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32311-32311 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32310-32310 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32309-32309 |
|
|
|
