No TPTP formula. May not be expressible in strict first order. | Merge.kif 15040-15040 | Reproductive body is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15046-15046 | Egg is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15058-15058 | Seed is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15070-15070 | Pollen is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15077-15077 | Fruit or vegetable is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15083-15083 | Spore is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2683-2683 | Mushroom is a subclass of reproductive body |