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 56671-56671 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56670-56670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56669-56669 |
|