| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | Corps reproducteur est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15024-15024 | Egg est une sous-classe de corps reproducteur |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15036-15036 | Seed est une sous-classe de corps reproducteur |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15048-15048 | Pollen est une sous-classe de corps reproducteur |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15055-15055 | Fruit ou v�g�tal est une sous-classe de corps reproducteur |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15061-15061 | Spore est une sous-classe de corps reproducteur |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2683-2683 | Mushroom est une sous-classe de corps reproducteur |
|
|