No TPTP formula. May not be expressible in strict first order. |
WMD.kif 541-543 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5865-5865 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6125-6125 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6126-6126 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31588-31588 |
roomTempState arsine and gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 540-540 |
Arsine is a subclass of blood agent |