| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14845-14845 | 子類 植物物質 and BodySubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4599-4599 | 子類 PlantWicker and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8642-8642 | 子類 生物鹼 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9161-9161 | 子類 木 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9179-9179 | 子類 橡膠 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9218-9218 | 子類 纖維素 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9230-9230 | 子類 花蜜 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9343-9343 | 子類 鴉片 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20398-20398 | 子類 乾草 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2153-2153 | 子類 Herb and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2296-2296 | 子類 PeelOrRind and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2310-2310 | 子類 FleshOrPulp and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4687-4687 | 子類 可可豆 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4707-4707 | 子類 茶樹空中部分 and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5226-5226 | 子類 WoodProduct and 植物物質 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6236-6236 | 子類 AloeveraGel and 植物物質 |
|
|