No TPTP formula. May not be expressible in strict first order. | Merge.kif 13718-13718 | 制作音乐 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13726-13726 | 器乐 是 制作音乐 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13743-13743 | 唱歌 是 制作音乐 的 subclass |
![]() |