No TPTP formula. May not be expressible in strict first order. |
Music.kif 540-541 |
|
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 544-544 |
AcidJazz e' relacionado internamente por SUMO a FunkMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 545-545 |
AcidJazz e' relacionado internamente por SUMO a HipHopMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 543-543 |
AcidJazz e' relacionado internamente por SUMO a JazzMusic |