No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1719-1719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1718-1718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1717-1717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37595-37595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37594-37594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37593-37593 |
|