| 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 是 MusicGenre 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 544-544 |
AcidJazz 和 FunkMusic 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 545-545 |
AcidJazz 和 HipHopMusic 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. |
Music.kif 543-543 |
AcidJazz 和 JazzMusic 是 内部相关 |
AcidJazz