| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14671-14671 | 生物活性物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | 生化剂 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | 毒素 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | 化学剂 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 513-513 | 二巯基丙醇 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1061-1061 | Vaccine 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1328-1328 | 阿托品 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1872-1872 | 吡啶斯的明溴化物 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1317-1317 | CS气 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8579-8579 | 类固醇 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8595-8595 | Poison 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8644-8644 | 生物碱 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9235-9235 | 医学 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9332-9332 | 刺激物 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9338-9338 | 降凝剂 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9343-9343 | 鸦片 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9667-9667 | 抗生素 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9678-9678 | Antiparasitic 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9690-9690 | Antidepressant 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9760-9760 | MoodStabilizer 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9797-9797 | 抗原 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9813-9813 | Antihistamine 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9828-9828 | Antacid 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9996-9996 | Diuretic 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10048-10048 | Antidiuretic 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10101-10101 | AdenosineTriphosphate 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14681-14681 | 营养 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14835-14835 | 激素 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3334-3334 | Thyroxine 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4291-4291 | Carnitine 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6170-6170 | Morphine 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6193-6193 | Fentanyl 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | 受控物质 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4876-4876 | 除虫菊 是 生物活性物质 的 subclass |
|
|