No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2471-2471 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2470-2470 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2469-2469 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57920-57920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57919-57919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57918-57918 |
|