No TPTP formula. May not be expressible in strict first order. |
WMD.kif 614-614 |
biochemicalAgentSyndrome Chloropicrin and Gastroenteritis |
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 31612-31612 |
roomTempState Chloropicrin and Gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 613-613 |
Chloropicrin est une sous-classe de ChokingAgent |