No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2047-2047 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2046-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2045-2045 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47312-47312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47311-47311 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47310-47310 |
|