| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12861-12861 | 烹饪 是 制作 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 121-121 | DryRoasting 是 烹饪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 167-167 | Hulling 是 烹饪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 649-649 | CoffeeMaking 是 烹饪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1174-1174 | FoamingMilk 是 烹饪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1457-1457 | 烘烤 是 烹饪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2566-2566 | Frying 是 烹饪 的 subclass |
|
|