OliveOil
|
|
appearance as argument number 1 |
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 | 子類 橄欖油 and 植物油 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42066-42066 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42065-42065 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42064-42064 |