No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4018-4018 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4017-4017 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4016-4016 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65889-65889 |
|