No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2099-2099 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2098-2098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2097-2097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48698-48698 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48697-48697 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48696-48696 |
|