No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 786-786 |
明尼苏达 是 圣保罗明尼苏达州 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 788-789 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5495-5495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5170-5170 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5492-5492 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5493-5493 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5494-5494 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5489-5489 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5491-5491 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5490-5490 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 785-785 |
圣保罗明尼苏达州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 787-787 |
圣保罗明尼苏达州 接上 明尼阿波利斯明尼苏达州 |