No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4186-4186 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4185-4185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4184-4184 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65914-65914 |
|