No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2551-2551 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2550-2550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2549-2549 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59018-59018 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59017-59017 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59016-59016 |
|