No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 788-788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 787-787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 786-786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20070-20070 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20069-20069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20068-20068 |
|