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 47644-47644 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47643-47643 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47642-47642 |
|