| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14408-14408 | Plante non florissante est une sous-classe de plante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14414-14414 | Algue est une sous-classe de plante non florissante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14437-14437 | Mousse est une sous-classe de plante non florissante |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14441-14441 | Foug�re est une sous-classe de plante non florissante |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6322-6322 | Lichen est une sous-classe de plante non florissante |
|
|