No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1595-1595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1594-1594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1593-1593 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35627-35627 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35626-35626 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35625-35625 |
|