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 是已准备食物的 subclass

appearance as argument number 2

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