No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1430-1430 |
The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7055-7057 |
A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s) |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7183-7186 |
A real number kilogram(s) is equal to the real number and 1000 gram(s) |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7200-7202 |
A real number pound mass(s) is equal to the real number and 453.59237 gram(s) |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7208-7210 |
A real number slug(s) is equal to the real number and 14593.90 gram(s) |
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 1831-1831 |
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 1330-1330 |
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 1431-1431 |
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 1836-1836 |
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 |