MusicGenre
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 502-508 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 501-501 | 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 519-519 | Acapella is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 534-534 | Acid house is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 539-539 | Acid jazz is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 547-547 | Acid rock is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 553-553 | Acoustic is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 571-571 | Alternative country is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 577-577 | Alternative dance is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 585-585 | Alternative rock is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 590-590 | Ballad is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 595-595 | Bebop is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 601-601 | Big band music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 606-606 | Bluegrass is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 612-612 | Blues is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 617-617 | Chamber music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 623-623 | Christmas music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 654-654 | Classical music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 662-662 | Country music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 683-683 | Electronic music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 697-697 | Emo is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 703-703 | Folk music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 709-709 | Funk music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 715-715 | Heavy metal is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 722-722 | Hip hop music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 736-736 | Indie music is an instance of music genre |
No TPTP formula. May not be expressible in strict first order. | Music.kif 748-748 | 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 511-517 |
|