No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4350-4350 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4349-4349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4348-4348 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65919-65919 |
|