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 1301-1301 |
Castanet 是 打击乐器 的 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. |
domainEnglishFormat.kif 45096-45096 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45095-45095 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45094-45094 |
|