![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 581-581 | Soman biochemical agent antidote pyridostigmine bromide for putting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 583-583 | Soman biochemical agent antidote pyridostigmine bromide for putting |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6872-6872 | Soman biochemical agent antidote pyridostigmine bromide for putting |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7924-7924 | Soman biochemical agent antidote pyridostigmine bromide for putting |
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. | Mid-level-ontology.kif 33598-33598 | room temperature state soman and liquid |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 580-580 | Soman is a subclass of G series nerve agent |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53932-53932 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53931-53931 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53930-53930 |
![]() |
![]() |