No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1631-1631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1630-1630 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1629-1629 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36227-36227 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36226-36226 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36225-36225 |
|