No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 376-376 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 375-375 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 374-374 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13215-13215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13214-13214 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13213-13213 |
|