No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1375-1375 |
The per of 0.0004 one millionth of a gram(s) and 1 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10484-10488 |
1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10494-10498 |
1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s) |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 434-434 |
The per of 0.04 one millionth of a gram(s) and 1 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 1 thousand grams(s) is a lethal dose of botulinum toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1739-1739 |
The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 426-426 |
The per of 3.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of ricin toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 581-581 |
The per of 100.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of sarin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1290-1290 |
The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 577-577 |
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 1376-1376 |
The per of 0.02 one millionth of a gram(s) and 1 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 1744-1744 |
The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 594-594 |
The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX |