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