No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4806-4807 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6026-6026 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6547-6547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6546-6546 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9236-9236 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4803-4803 |
饲料作物 是 PlantAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4805-4805 |
饲料作物 和 饲料 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4804-4804 |
饲料作物 和 农产品 是 内部相关 |