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 |
密西西比州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1009-1009 |
密西西比州 接上 阿肯色州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1011-1011 |
密西西比州 接上 GulfOfMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1010-1010 |
密西西比州 接上 路易斯安那州 |