No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4570-4570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4569-4569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4568-4568 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53940-53940 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53939-53939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53938-53938 |
|