| PlantSubstance(plant substance) | | stub |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3475-3475 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14894-14895 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14893-14893 | Plant substance is a subclass of body substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9343-9343 | Alkaloid is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6451-6451 | Aloe vera gel is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10043-10043 | Cellulose is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4902-4902 | Cocoa bean is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2310-2310 | Flesh or pulp is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21317-21317 | Hay is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2153-2153 | Herb is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10055-10055 | Nectar is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10168-10168 | Opium is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2296-2296 | Peel or rind is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4594-4594 | Plant wicker is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10004-10004 | Rubber is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4922-4922 | Tea plant aerial part is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9862-9862 | Wood is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5441-5441 | Wood product is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46165-46165 | Wood product is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46164-46164 | Wood product is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46163-46163 | Wood product is a subclass of plant substance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14897-14902 |
|
|
|
|