No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6197-6197 |
Vegetable is an industry product type of vegetable farming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4234-4234 |
Cabbage is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4262-4262 |
Cauliflower is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2425-2425 |
Celery is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4220-4220 |
Cucumber is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4271-4271 |
Eggplant is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4464-4464 |
Ginger is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4210-4210 |
Leafy green vegetable is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4333-4333 |
Squash is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4334-4334 |
Sugar beet is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4352-4352 |
Sugar cane is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4332-4332 |
Sweet pepper is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3647-3647 |
Water chestnut is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3649-3649 |
Zucchini is a subclass of vegetable |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61304-61304 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61303-61303 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61302-61302 |
|