No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2259-2259 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2258-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2257-2257 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52427-52427 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52426-52426 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52425-52425 |
|