No TPTP formula. May not be expressible in strict first order. |
WMD.kif 614-614 |
Gastroenteritis is a biochemical agent syndrome of chloropicrin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 615-616 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4601-4601 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31580-31580 |
roomTempState chloropicrin and gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 613-613 |
Chloropicrin is a subclass of choking agent |