No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | 子類 ReproductiveBody and BodyPart |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15024-15024 | 子類 蛋 and ReproductiveBody |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15036-15036 | 子類 種子 and ReproductiveBody |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15048-15048 | 子類 花粉 and ReproductiveBody |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15055-15055 | 子類 FruitOrVegetable and ReproductiveBody |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15061-15061 | 子類 孢子 and ReproductiveBody |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2683-2683 | 子類 Mushroom and ReproductiveBody |