No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 775-775 |
弗吉尼亞州 是 里士滿弗吉尼亞州 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 776-777 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5469-5469 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5473-5473 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5472-5472 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5166-5166 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5470-5470 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5468-5468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5474-5474 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 774-774 |
例 里士滿弗吉尼亞州 and 美國城市 |