No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8641-8641 | Alkaloid e' uma sub-classe de ChemicalBase |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8642-8642 | Alkaloid e' uma sub-classe de PlantSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8643-8643 | Alkaloid e' uma sub-classe de Substancia Biologica Ativa |