| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12861-12861 | 子類 Cooking and Making |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 121-121 | 子類 DryRoasting and Cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 167-167 | 子類 Hulling and Cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 649-649 | 子類 CoffeeMaking and Cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1174-1174 | 子類 FoamingMilk and Cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1457-1457 | 子類 烘烤 and Cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2566-2566 | 子類 Frying and Cooking |
|
|