No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4050-4050 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4049-4049 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4048-4048 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1452-1452 |
|