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 est une instance de PlantAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4805-4805 |
ForageCrop est reli� � l'int�rieur de SUMO � Fodder |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4804-4804 |
ForageCrop est reli� � l'int�rieur de SUMO � Produce |