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 |
例 飼料作物 and PlantAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4805-4805 |
相關的內部概念 飼料作物 and 飼料 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4804-4804 |
相關的內部概念 飼料作物 and 農産品 |