No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2023-2023 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2022-2022 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2021-2021 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47120-47120 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47119-47119 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47118-47118 |
|