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 est une instance de MusicGenre |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 544-544 |
AcidJazz est reli� � l'int�rieur de SUMO � FunkMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 545-545 |
AcidJazz est reli� � l'int�rieur de SUMO � HipHopMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 543-543 |
AcidJazz est reli� � l'int�rieur de SUMO � JazzMusic |