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 14977-14978 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14976-14976 | 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 9849-9849 | Alkaloid is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6634-6634 | Aloe vera gel is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10548-10548 | Cellulose is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5025-5025 | Cocoa bean is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2317-2317 | Flesh or pulp is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22016-22016 | Hay is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2160-2160 | Herb is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10560-10560 | Nectar is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10673-10673 | Opium is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2303-2303 | Peel or rind is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5044-5044 | Plant wicker is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10509-10509 | Rubber is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5045-5045 | 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 10368-10368 | Wood is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5567-5567 | Wood product is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46136-46136 | Wood product is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46135-46135 | Wood product is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46134-46134 | Wood product is a subclass of plant substance |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14980-14985 |
|
![]() |
![]() |