No TPTP formula. May not be expressible in strict first order. | Food.kif 121-121 | DryRoasting est une sous-classe de cuisiner |
No TPTP formula. May not be expressible in strict first order. | Food.kif 122-122 | DryRoasting est une sous-classe de r�chauffer |