No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4030-4030 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4029-4029 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4028-4028 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42360-42360 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42359-42359 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42358-42358 |
|