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 |
ForageCrop e' uma instancia de PlantAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4805-4805 |
ForageCrop e' relacionado internamente por SUMO a Fodder |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4804-4804 |
ForageCrop e' relacionado internamente por SUMO a Produce |