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 |
例 聖保羅明尼蘇達州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 787-787 |
空間的符合 聖保羅明尼蘇達州 and 明尼阿波利斯明尼蘇達州 |