No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4636-4636 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2566-2566 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2457-2457 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33535-33535 |
room temperature state CS gas and gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 549-549 |
CS gas is a subclass of incapacitating agent |