No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2515-2515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2514-2514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2513-2513 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58594-58594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58593-58593 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58592-58592 |
|