No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2930-2930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2929-2929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2928-2928 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65790-65790 |
|