No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 776-776 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 778-778 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 763-763 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 757-757 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 779-779 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 755-755 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7613-7613 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7614-7614 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7617-7617 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7618-7618 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4860-4860 |
罂粟 是 HerbaceousPlant 的 subclass |