lethalDose |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 846-849 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 844-844 | The number 2 argument of lethal dose is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 843-843 | The number 1 argument of lethal dose is a subclass of biochemical agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 842-842 | lethal dose is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 845-845 | lethal dose is internally related to effective dose |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1527-1527 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1526-1526 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1525-1525 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34166-34166 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34165-34165 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34164-34164 |
antecedent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 439-439 | The per of 0.04 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of abrin toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 310-310 | The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 325-325 | The per of 0.001 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of botulinum toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1840-1840 | The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 431-431 | The per of 3.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of ricin toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 586-586 | The per of 100.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of sarin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1339-1339 | The per of 0.002 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of shiga toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 582-582 | The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1440-1440 | The per of 0.02 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1845-1845 | The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 599-599 | The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX |
![]() |
![]() |