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. | Merge.kif 15062-15062 | Spore is a subclass of plant anatomical structure |