No TPTP formula. May not be expressible in strict first order. |
Food.kif 2495-2495 |
ChocolateCandy 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 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. |
domainEnglishFormat.kif 64633-64633 |
|