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 65912-65912 |
|