No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 744-744 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 743-743 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 742-742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19620-19620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19619-19619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19618-19618 |
|