No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 899-899 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 898-898 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 897-897 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21822-21822 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21821-21821 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21820-21820 |
|