No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3318-3318 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3317-3317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3316-3316 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65825-65825 |
|