No TPTP formula. May not be expressible in strict first order. | WMD.kif 558-558 | 神经毒剂 是 化学剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 567-567 | G系列神经毒剂 是 神经毒剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 592-592 | V系列神经毒剂 是 神经毒剂 的 subclass |