Chocolate - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2436-2438
No TPTP formula. May not be expressible in strict first order.	Food.kif 2439-2439	%每個 Chocolate 是可可豆的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2435-2435	子類 Chocolate and 已準備食物

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2495-2495	子類巧克力糖 and Chocolate
No TPTP formula. May not be expressible in strict first order.	Food.kif 2488-2488	子類可可脂 and Chocolate
No TPTP formula. May not be expressible in strict first order.	Food.kif 2441-2441	子類 CocoaLiquor and Chocolate
No TPTP formula. May not be expressible in strict first order.	Food.kif 2480-2480	子類可可粉 and Chocolate
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64631-64631