| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12861-12861 | Cooking is a subclass of making |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 121-121 | Dry roasting is a subclass of cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 167-167 | Hulling is a subclass of cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 649-649 | Coffee making is a subclass of cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1174-1174 | Foaming milk is a subclass of cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1457-1457 | Baking is a subclass of cooking |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2566-2566 | Frying is a subclass of cooking |
|
|