No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4250-4250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4249-4249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4248-4248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47642-47642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47641-47641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47640-47640 |
|