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 est une instance de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1009-1009 |
Mississippi rencontre Arkansas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1011-1011 |
Mississippi rencontre GulfOfMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1010-1010 |
Mississippi rencontre Louisiana |