No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1309-1309 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1308-1308 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1307-1307 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29845-29845 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29844-29844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29843-29843 |
|