No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 368-368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 367-367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 366-366 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13182-13182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13181-13181 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13180-13180 |
|