No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2199-2199 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2198-2198 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2197-2197 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51657-51657 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51656-51656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51655-51655 |
|