| MusicGenre(music genre) | | African-American_music, bel_canto, berceuse, black_music, bluegrass, carol, chamber_music, classical, classical_music, cradlesong, crossover, dithyramb, doo-wop, genre, golden_oldie, hillbilly_music, lied, lullaby, music_genre, musical_genre, musical_style, oldie, paean, pean, popularism, rock_opera, serious_music, sonata_form, soul, square-dance_music, toccata, zydeco |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 504-510 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 503-503 | Music genre is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 521-521 | Acapella is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 536-536 | Acid house is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 541-541 | Acid jazz is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 549-549 | Acid rock is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 555-555 | Acoustic is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 573-573 | Alternative country is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 579-579 | Alternative dance is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 587-587 | Alternative rock is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 592-592 | Ballad is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 597-597 | Bebop is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 603-603 | Big band music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 608-608 | Bluegrass is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 614-614 | Blues is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 619-619 | Chamber music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 625-625 | Christmas music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 656-656 | Classical music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 664-664 | Country music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 685-685 | Electronic music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 699-699 | Emo is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 705-705 | Folk music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 711-711 | Funk music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 717-717 | Heavy metal is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 724-724 | Hip hop music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 738-738 | Indie music is an instance of music genre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 750-750 | Jazz music is an instance of music genre |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 513-519 |
|
|
|
|