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