No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2619-2619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2618-2618 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2617-2617 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62391-62391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62390-62390 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62389-62389 |
|