| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14845-14845 | PlantSubstance est une sous-classe de substance corporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4599-4599 | PlantWicker est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8642-8642 | Alkaloid est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9161-9161 | Wood est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9179-9179 | Rubber est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9218-9218 | Cellulose est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9230-9230 | Nectar est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9343-9343 | Opium est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20398-20398 | Hay est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2153-2153 | Herb est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2296-2296 | PeelOrRind est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2310-2310 | FleshOrPulp est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4687-4687 | CocoaBean est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4707-4707 | TeaPlantAerialPart est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5226-5226 | WoodProduct est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6236-6236 | AloeveraGel est une sous-classe de PlantSubstance |
|
|