No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2790-2790 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2789-2789 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2788-2788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7254-7254 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7253-7253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7252-7252 |
|