No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25488-25488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25487-25487 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25486-25486 |
|