No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4971-4972 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6955-6955 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8209-8209 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8210-8210 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8211-8211 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4973-4973 |
小牛肉 是 小牛 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4970-4970 |
子類 小牛肉 and Meat |