No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 644-644 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 643-643 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 642-642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18594-18594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18593-18593 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18592-18592 |
|