No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1012-1013 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 598-598 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1008-1008 |
Mississippi is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1009-1009 |
Mississippi meets arkansas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1011-1011 |
Mississippi meets Gulf of mexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1010-1010 |
Mississippi meets louisiana |