No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2243-2243 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2242-2242 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2241-2241 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51881-51881 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51880-51880 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51879-51879 |
|