No TPTP formula. May not be expressible in strict first order. | Economy.kif 4206-4206 | 蔬菜 是 水果或蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2425-2425 | Celery 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3647-3647 | WaterChestnut 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3649-3649 | Zucchini 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4210-4210 | 绿叶蔬菜 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4220-4220 | 黄瓜 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4234-4234 | 卷心菜 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4262-4262 | 菜花 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4271-4271 | 茄子 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4332-4332 | 甜椒 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4333-4333 | 南瓜屬 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4334-4334 | 甜菜 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4352-4352 | 甘蔗 是 蔬菜 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4464-4464 | 生姜 是 蔬菜 的 subclass |