| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10914-10914 | R�chauffer est une sous-classe de augmenter |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 122-122 | DryRoasting est une sous-classe de r�chauffer |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 784-784 | EspressoMaking est une sous-classe de r�chauffer |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1175-1175 | FoamingMilk est une sous-classe de r�chauffer |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1458-1458 | Baking est une sous-classe de r�chauffer |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2567-2567 | Frying est une sous-classe de r�chauffer |
|
|