No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 252-252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 251-251 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9810-9810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9809-9809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9808-9808 |
|