No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2802-2802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2801-2801 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2800-2800 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7482-7482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7481-7481 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7480-7480 |
|