No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 584-584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 583-583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 582-582 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17784-17784 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17783-17783 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17782-17782 |
|