No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13841-13854 |
|
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 13831-13839 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13953-13966 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13863-13878 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13880-13893 |
|
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 |
|