No TPTP formula. May not be expressible in strict first order. |
Sports.kif 622-623 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7079-7079 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6615-6615 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7082-7082 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7080-7080 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7081-7081 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 621-621 |
HomeBase est une sous-classe de BaseballBase |