No TPTP formula. May not be expressible in strict first order. |
Food.kif 2495-2495 |
ChocolateCandy e' uma sub-classe de Chocolate |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2488-2488 |
CocoaButter e' uma sub-classe de Chocolate |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2441-2441 |
CocoaLiquor e' uma sub-classe de Chocolate |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2480-2480 |
CocoaSolid e' uma sub-classe de Chocolate |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64631-64631 |
|