No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2063-2063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2062-2062 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2061-2061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47498-47498 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47497-47497 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47496-47496 |
|