No TPTP formula. May not be expressible in strict first order. |
Sports.kif 709-710 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6616-6616 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7086-7086 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7083-7083 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7085-7085 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 708-708 |
本垒打 是 棒球跑 的 subclass |