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 1555-1555 |
BreadOrBiscuit 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 1575-1575 |
CookedDish 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 2817-2817 |
DairyArtifact 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 218-218 |
DrinkingWater 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 1469-1469 |
Flour 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 2737-2737 |
Pasta 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 2061-2061 |
Sauce 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 1618-1618 |
SoupStock 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 |
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. |
domainEnglishFormat.kif 47212-47212 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47211-47211 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 313-313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47210-47210 |
|