No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2051-2051 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2050-2050 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2049-2049 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47336-47336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47335-47335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47334-47334 |
|