No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2443-2443 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2442-2442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2441-2441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56991-56991 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56990-56990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56989-56989 |
|