No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2235-2235 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2234-2234 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2233-2233 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51861-51861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51860-51860 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51859-51859 |
|