No TPTP formula. May not be expressible in strict first order. |
WMD.kif 493-496 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7385-7385 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7386-7386 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6715-6715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7387-7387 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31580-31580 |
roomTempState mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 492-492 |
Mustard gas is a subclass of blister agent |