No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 734-735 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5346-5346 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5345-5345 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5143-5143 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 729-729 |
Memphis tennessee is an instance of american city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 733-733 |
Memphis tennessee is a part of tennessee |