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 47114-47114 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47113-47113 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47112-47112 |
|