No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21850-21851 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9049-9049 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9045-9045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9046-9046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9044-9044 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9048-9048 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9047-9047 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21849-21849 |
Chemical attack is a subclass of violent contest |