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 est une instance de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 968-968 |
Kentucky rencontre Illinois |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 969-969 |
Kentucky rencontre Indiana |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 967-967 |
Kentucky rencontre Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 966-966 |
Kentucky rencontre Tennessee |