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 61586-61586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61585-61585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61584-61584 |
|