No TPTP formula. May not be expressible in strict first order. | Food.kif 3179-3179 | Curdling e' uma sub-classe de Mudanca de Estado |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3213-3213 | CurdlingMilk e' uma sub-classe de Curdling |