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 |
例 密西西比州 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1009-1009 |
空間的符合 密西西比州 and 阿肯色州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1011-1011 |
空間的符合 密西西比州 and GulfOfMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1010-1010 |
空間的符合 密西西比州 and 路易斯安那州 |