No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2343-2343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2342-2342 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2341-2341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55088-55088 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55087-55087 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55086-55086 |
|