No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2323-2323 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2322-2322 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2321-2321 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53720-53720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53719-53719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53718-53718 |
|