No TPTP formula. May not be expressible in strict first order. | Merge.kif 14671-14671 | Substancia Biologica Ativa e' uma sub-classe de Substancia |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | BiochemicalAgent e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | Toxin e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | ChemicalAgent e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 513-513 | Dimercaprol e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1061-1061 | Vaccine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1328-1328 | Atropine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1872-1872 | PyridostigmineBromide e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1317-1317 | CSGas e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8579-8579 | Steroid e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8595-8595 | Poison e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8644-8644 | Alkaloid e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9235-9235 | Medicine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9332-9332 | Stimulant e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9338-9338 | Depressant e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9343-9343 | Opium e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9667-9667 | Antibiotic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9678-9678 | Antiparasitic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9690-9690 | Antidepressant e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9760-9760 | MoodStabilizer e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9797-9797 | Antigen e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9813-9813 | Antihistamine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9828-9828 | Antacid e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9996-9996 | Diuretic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10048-10048 | Antidiuretic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10101-10101 | AdenosineTriphosphate e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14681-14681 | Nutriente e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14835-14835 | Hormonio e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3334-3334 | Thyroxine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4291-4291 | Carnitine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6170-6170 | Morphine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6193-6193 | Fentanyl e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | ControlledSubstance e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4876-4876 | Pyrethrum e' uma sub-classe de Substancia Biologica Ativa |