No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2870-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2869-2869 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2868-2868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65786-65786 |
|