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 54480-54480 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54479-54479 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54478-54478 |
|