| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15040-15040 | 子類 ReproductiveBody and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15046-15046 | 子類 蛋 and ReproductiveBody |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15058-15058 | 子類 種子 and ReproductiveBody |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15070-15070 | 子類 花粉 and ReproductiveBody |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15077-15077 | 子類 FruitOrVegetable and ReproductiveBody |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15083-15083 | 子類 孢子 and ReproductiveBody |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2683-2683 | 子類 Mushroom and ReproductiveBody |
|
|