No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1101-1109 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2563-2568 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2546-2551 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2580-2585 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 725-748 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 507-516 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 371-382 |
|