No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13863-13876 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6382-6386 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13853-13861 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13975-13988 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13885-13900 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13902-13915 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3629-3642 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3657-3670 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3682-3695 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3708-3721 |
|