No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 580-580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 579-579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 578-578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17778-17778 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17777-17777 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17776-17776 |
|