No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4858-4858 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4857-4857 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4856-4856 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59852-59852 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59851-59851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59850-59850 |
|