No TPTP formula. May not be expressible in strict first order. | Food.kif 184-184 | PreservingFood e' uma sub-classe de Manter |
No TPTP formula. May not be expressible in strict first order. | Food.kif 78-78 | CuringFood e' uma sub-classe de PreservingFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 203-203 | Fermentation e' uma sub-classe de PreservingFood |