No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2435-2435 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2434-2434 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2433-2433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56673-56673 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56672-56672 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56671-56671 |
|