No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1739-1739 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1738-1738 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1737-1737 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37877-37877 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37876-37876 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37875-37875 |
|