No TPTP formula. May not be expressible in strict first order. | Food.kif 2435-2435 | Chocolate est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2441-2441 | CocoaLiquor est une sous-classe de Chocolate |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2480-2480 | CocoaSolid est une sous-classe de Chocolate |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2488-2488 | CocoaButter est une sous-classe de Chocolate |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2495-2495 | ChocolateCandy est une sous-classe de Chocolate |