effectiveDose |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 798-801 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 797-797 | 有效剂量 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 796-796 | 有效剂量 的 1 数量 是 生化剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 795-795 | 有效剂量 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 832-832 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 831-831 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 830-830 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 845-845 | 致死剂量 和 有效剂量 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21294-21294 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21293-21293 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21292-21292 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 851-858 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 803-810 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1439-1439 | 1.0 公克 的一千倍 是 0.0004 公克 的百万分之一 的 per 是 葡萄球菌肠毒素b 的 effective 剂量 |