No TPTP formula. May not be expressible in strict first order. |
WMD.kif 587-587 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6837-6837 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7809-7809 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7810-7810 |
|
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. |
Mid-level-ontology.kif 31643-31643 |
roomTempState sarin and gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 585-585 |
Sarin is a subclass of G series nerve agent |