No TPTP formula. May not be expressible in strict first order. | Food.kif 184-184 | 子類 PreservingFood and Keeping |
No TPTP formula. May not be expressible in strict first order. | Food.kif 78-78 | 子類 CuringFood and PreservingFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 203-203 | 子類 Fermentation and PreservingFood |