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 55086-55086 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55085-55085 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55084-55084 |
|