No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2331-2331 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2330-2330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2329-2329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54668-54668 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54667-54667 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54666-54666 |
|