No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6743-6743 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7465-7465 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2083-2083 |
Olive oil is an ingredient in aioli |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4563-4563 |
Every olive oil is initially part of a olive |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4562-4562 |
Olive oil is a subclass of vegetable oil |