No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1133-1133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1132-1132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1131-1131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26718-26718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26717-26717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26716-26716 |
|