|
|
  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 | Kentucky e' uma instancia de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 968-968 | Kentucky encontra Illinois |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 969-969 | Kentucky encontra Indiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 967-967 | Kentucky encontra Missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | Kentucky encontra Tennessee |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1073-1073 | Ohio encontra Kentucky |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1137-1137 | Virginia encontra Kentucky |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1145-1145 | WestVirginia encontra Kentucky |
| 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 |
|
|
|
