| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14693-14693 | Biologically active substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | Biochemical agent is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | Toxin is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | Chemical agent is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 513-513 | Dimercaprol is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1061-1061 | Vaccine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1328-1328 | Atropine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1872-1872 | Pyridostigmine bromide is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1317-1317 | CS gas is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | Steroid is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8594-8594 | Poison is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8643-8643 | Alkaloid is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9234-9234 | Medicine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9331-9331 | Stimulant is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9337-9337 | Depressant is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9342-9342 | Opium is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9666-9666 | Antibiotic is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9677-9677 | Anti-parasitic is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9689-9689 | Anti-depressant is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9759-9759 | Mood stabilizer is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9796-9796 | Antigen is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9812-9812 | Antihistamine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9827-9827 | Antacid is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9995-9995 | Diuretic is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10047-10047 | Antidiuretic is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10100-10100 | ATP is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14703-14703 | Nutrient is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14857-14857 | Hormone is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3334-3334 | Thyroxine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4291-4291 | Carnitine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6170-6170 | Morphine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6193-6193 | Sublimaze is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | Controlled substance is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4876-4876 | Pyrethrum is a subclass of biologically active substance |
|
|