No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2027-2027 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2026-2026 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2025-2025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47126-47126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47125-47125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47124-47124 |
|