No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4953-4954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10089-10089 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11328-11328 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11329-11329 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11330-11330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11331-11331 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11332-11332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11333-11333 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4955-4955 |
羔羊肉 是 羔羊 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4952-4952 |
子類 羔羊肉 and Meat |