| 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 | MusicGenre est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 519-519 | Acapella est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 534-534 | AcidHouse est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 539-539 | AcidJazz est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 547-547 | AcidRock est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 553-553 | AcousticMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 571-571 | AlternativeCountry est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 577-577 | AlternativeDance est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 585-585 | AlternativeRock est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 590-590 | Ballad est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 595-595 | Bebop est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 601-601 | BigBandMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 606-606 | Bluegrass est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 612-612 | BluesMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 617-617 | ChamberMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 623-623 | ChristmasMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 654-654 | ClassicalMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 662-662 | CountryMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 683-683 | ElectronicMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 697-697 | EmoMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 703-703 | FolkMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 709-709 | FunkMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 715-715 | HeavyMetal est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 722-722 | HipHopMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 736-736 | IndieMusic est une instance de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 748-748 | JazzMusic est une instance de MusicGenre |
| 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 |
|
|
|
|