No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 440-440 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 439-439 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 438-438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14451-14451 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14450-14450 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14449-14449 |
|