| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10936-10936 | 子類 Heating and Increasing |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 122-122 | 子類 DryRoasting and Heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 784-784 | 子類 EspressoMaking and Heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1175-1175 | 子類 FoamingMilk and Heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1458-1458 | 子類 烘烤 and Heating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2567-2567 | 子類 Frying and Heating |
|
|