Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicGenre
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 498-504
No TPTP formula. May not be expressible in strict first order. Music.kif 497-497 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 515-515 Acapella is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 530-530 Acid house is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 535-535 Acid jazz is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 543-543 Acid rock is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 549-549 Acoustic is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 567-567 Alternative country is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 573-573 Alternative dance is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 581-581 Alternative rock is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 586-586 Ballad is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 591-591 Bebop is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 597-597 Big band music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 602-602 Bluegrass is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 608-608 Blues is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 613-613 Chamber music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 619-619 Christmas music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 650-650 Classical music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 658-658 Country music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 679-679 Electronic music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 693-693 Emo is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 699-699 Folk music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 705-705 Funk music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 711-711 Heavy metal is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 718-718 Hip hop music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 732-732 Indie music is an instance of music genre
No TPTP formula. May not be expressible in strict first order. Music.kif 744-744 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 507-513


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners