No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2595-2595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2594-2594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2593-2593 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61588-61588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61587-61587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61586-61586 |
|