No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2327-2327 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2326-2326 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2325-2325 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54482-54482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54481-54481 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54480-54480 |
|