| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10914-10914 | Heating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 122-122 | Dry roasting is a subclass of heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 784-784 | Espresso making is a subclass of heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1175-1175 | Foaming milk is a subclass of heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1458-1458 | Baking is a subclass of heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2567-2567 | Frying is a subclass of heating |
|
|