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 | 例 肯塔基 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 968-968 | 空間的符合 肯塔基 and 伊利諾伊 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 969-969 | 空間的符合 肯塔基 and Indiana |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 967-967 | 空間的符合 肯塔基 and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | 空間的符合 肯塔基 and 田納西 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1073-1073 | 空間的符合 俄亥俄州 and 肯塔基 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1137-1137 | 空間的符合 弗吉尼亞州 and 肯塔基 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1145-1145 | 空間的符合 WestVirginia and 肯塔基 |
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 |