| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12861-12861 | Cozinhar e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 121-121 | DryRoasting e' uma sub-classe de Cozinhar |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 167-167 | Hulling e' uma sub-classe de Cozinhar |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 649-649 | CoffeeMaking e' uma sub-classe de Cozinhar |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1174-1174 | FoamingMilk e' uma sub-classe de Cozinhar |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1457-1457 | Baking e' uma sub-classe de Cozinhar |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2566-2566 | Frying e' uma sub-classe de Cozinhar |
|
|