No TPTP formula. May not be expressible in strict first order. | Music.kif 1220-1220 | 打击乐器 是 乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1239-1239 | 钟 是 打击乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1266-1266 | 鼓 是 打击乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1301-1301 | Castanet 是 打击乐器 的 subclass |
![]() |