No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13994-14007 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6407-6411 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13984-13992 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14106-14119 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14016-14031 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14033-14046 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3624-3637 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3652-3665 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3677-3690 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3703-3716 |
|