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 47128-47128 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47127-47127 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47126-47126 |
|