| No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | PreparedFood e' uma sub-classe de Comida |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 309-309 | PreparedFood e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 218-218 | DrinkingWater e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 389-389 | Bebida e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1469-1469 | Flour e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1555-1555 | BreadOrBiscuit e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1575-1575 | CookedDish e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1599-1599 | Dough e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1618-1618 | SoupStock e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1748-1748 | Jam e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2061-2061 | Sauce e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2125-2125 | CuredMeat e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2435-2435 | Chocolate e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2737-2737 | Pasta e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2778-2778 | FermentedFood e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2817-2817 | DairyArtifact e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3322-3322 | Raisin e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3440-3440 | Sorbet e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3508-3508 | Tofu e' uma sub-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4359-4359 | Spice e' uma sub-classe de PreparedFood |
|
|