No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4334-4334 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4333-4333 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4332-4332 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48848-48848 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48847-48847 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48846-48846 |
|