No TPTP formula. May not be expressible in strict first order. |
Music.kif 524-532 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 559-569 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 647-652 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 673-681 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 689-695 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 633-639 |
|