AcousticMusic(acoustic) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 556-558 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 555-555 | Acoustic is an instance of music genre |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 623-623 | Chamber music is internally related to acoustic |
No TPTP formula. May not be expressible in strict first order. | Music.kif 559-559 | Chamber music is internally related to acoustic |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 561-571 |
|
![]() |
![]() |