No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9356-9356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9353-9353 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8549-8549 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9354-9354 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9355-9355 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1876-1876 |
Iron forging is a subattribute of iron and steel forging |