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 |
橄榄油 是在 Aioli 的 ingredient |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4563-4563 |
%每个 橄榄油 是 橄榄 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4562-4562 |
橄榄油 是 植物油 的 subclass |