OliveOil - Sigma Knowledge base Browser

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	橄榄油是植物油的 subclass

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