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 |
例 孟菲斯田納西州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 733-733 |
部分 孟菲斯田納西州 and 田納西 |