No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2363-2363 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2362-2362 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2361-2361 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55394-55394 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55393-55393 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55392-55392 |
|