No TPTP formula. May not be expressible in strict first order. | Economy.kif 4732-4735 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3689-3689 | 子類 釀酒葡萄 and food for Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3690-3690 | 子類 釀酒葡萄 and 葡萄 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4730-4730 | 子類 釀酒葡萄 and 水果 |