No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2019-2019 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2018-2018 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2017-2017 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47116-47116 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47115-47115 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47114-47114 |
|