No TPTP formula. May not be expressible in strict first order. |
Food.kif 389-389 |
Boisson est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1555-1555 |
BreadOrBiscuit est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2435-2435 |
Chocolate est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1575-1575 |
CookedDish est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2125-2125 |
CuredMeat est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2817-2817 |
DairyArtifact est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1599-1599 |
Dough est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 218-218 |
DrinkingWater est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2778-2778 |
FermentedFood est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1469-1469 |
Flour est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1748-1748 |
Jam est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2737-2737 |
Pasta est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3322-3322 |
Raisin est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2061-2061 |
Sauce est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3440-3440 |
Sorbet est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1618-1618 |
SoupStock est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4359-4359 |
Spice est une sous-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3508-3508 |
Tofu est une sous-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 |
|