No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37357-37357 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37356-37356 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37355-37355 |
|