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. |
Mid-level-ontology.kif 8644-8644 |
生物碱 是 生物活性物质 的 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 9667-9667 |
抗生素 是 生物活性物质 的 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 10048-10048 |
Antidiuretic 是 生物活性物质 的 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 9678-9678 |
Antiparasitic 是 生物活性物质 的 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 80-80 |
生化剂 是 生物活性物质 的 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. |
Medicine.kif 4291-4291 |
Carnitine 是 生物活性物质 的 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. |
Economy.kif 4792-4792 |
受控物质 是 生物活性物质 的 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. |
WMD.kif 513-513 |
二巯基丙醇 是 生物活性物质 的 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. |
Medicine.kif 6193-6193 |
Fentanyl 是 生物活性物质 的 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. |
Mid-level-ontology.kif 9235-9235 |
医学 是 生物活性物质 的 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. |
Medicine.kif 6170-6170 |
Morphine 是 生物活性物质 的 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. |
Mid-level-ontology.kif 9343-9343 |
鸦片 是 生物活性物质 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |