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