No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1659-1659 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1658-1658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1657-1657 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36653-36653 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36652-36652 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36651-36651 |
|