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 and MusicGenre |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 544-544 |
相關的內部概念 AcidJazz and FunkMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 545-545 |
相關的內部概念 AcidJazz and HipHopMusic |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 543-543 |
相關的內部概念 AcidJazz and JazzMusic |