PlantSubstance - Sigma Knowledge base Browser

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 13777-13778
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13776-13776	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 8305-8305	Alkaloid is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8922-8922	Cellulose is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8934-8934	Nectar is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8961-8961	Opium is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8894-8894	Rubber is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8868-8868	Wood is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46054-46054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46053-46053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46052-46052

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13780-13785

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15806-15812