No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6197-6197 |
industryProductType VegetableFarming and Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4234-4234 |
Cabbage e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4262-4262 |
Cauliflower e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2425-2425 |
Celery e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4220-4220 |
Cucumber e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4271-4271 |
Eggplant e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4464-4464 |
Ginger e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4210-4210 |
LeafyGreenVegetable e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4333-4333 |
Squash e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4334-4334 |
SugarBeet e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4352-4352 |
SugarCane e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4332-4332 |
SweetPepper e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3647-3647 |
WaterChestnut e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3649-3649 |
Zucchini e' uma sub-classe de Vegetable |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61306-61306 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61305-61305 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61304-61304 |
|