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 |
lethalDose Sarin and PerFn 100.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31679-31679 |
roomTempState Sarin and Gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 585-585 |
Sarin e' uma sub-classe de GSeriesNerveAgent |