| Kentucky(kentucky)
| | Bluegrass_State, KY, 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 is an instance of american state |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 968-968 | Kentucky meets illinois |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 969-969 | Kentucky meets Indiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 967-967 | Kentucky meets missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | Kentucky meets tennessee |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1073-1073 | Ohio meets kentucky |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1137-1137 | Virginia meets kentucky |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1145-1145 | West virginia meets 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 |
|
|
|