No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3398-3398 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3397-3397 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3396-3396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64850-64850 |
|