No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 556-556 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 555-555 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 554-554 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17598-17598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17597-17597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17596-17596 |
|