No TPTP formula. May not be expressible in strict first order. | Merge.kif 14693-14693 | 子類 BiologicallyActiveSubstance and Substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | 子類 生化劑 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | 子類 毒素 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | 子類 化學劑 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 513-513 | 子類 二巰基丙醇 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1061-1061 | 子類 Vaccine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1328-1328 | 子類 阿托品 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1872-1872 | 子類 吡啶斯的明溴化物 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1317-1317 | 子類 CS氣 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | 子類 類固醇 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8594-8594 | 子類 Poison and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8643-8643 | 子類 生物鹼 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9234-9234 | 子類 醫學 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9331-9331 | 子類 刺激物 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9337-9337 | 子類 降凝劑 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9342-9342 | 子類 鴉片 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9666-9666 | 子類 抗生素 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9677-9677 | 子類 Antiparasitic and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9689-9689 | 子類 Antidepressant and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9759-9759 | 子類 MoodStabilizer and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9796-9796 | 子類 抗原 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9812-9812 | 子類 Antihistamine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9827-9827 | 子類 Antacid and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9995-9995 | 子類 Diuretic and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10047-10047 | 子類 Antidiuretic and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10100-10100 | 子類 AdenosineTriphosphate and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14703-14703 | 子類 Nutrient and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14857-14857 | 子類 Hormone and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3334-3334 | 子類 Thyroxine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4291-4291 | 子類 Carnitine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6170-6170 | 子類 Morphine and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6193-6193 | 子類 Fentanyl and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | 子類 受控物質 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4876-4876 | 子類 除蟲菊 and BiologicallyActiveSubstance |
![]() |