No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | Reproductive body is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15024-15024 | Egg is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15036-15036 | Seed is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15048-15048 | Pollen is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15055-15055 | Fruit or vegetable is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15061-15061 | 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 |