No TPTP formula. May not be expressible in strict first order. | Economy.kif 4365-4372 |
|
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. | Economy.kif 4360-4360 | Spice e' uma sub-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3520-3520 | Turmeric e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4455-4455 | Vanilla e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4456-4456 | Clove e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4457-4457 | Nutmeg e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4458-4458 | Mace e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4459-4459 | Cardamom e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4460-4460 | BlackPepper e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4461-4461 | SpicePepper e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4462-4462 | Cinnamon e' uma sub-classe de Spice |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4463-4463 | Ginger e' uma sub-classe de Spice |