No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1599-1599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1598-1598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1597-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35837-35837 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35836-35836 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35835-35835 |
|