No TPTP formula. May not be expressible in strict first order. |
Music.kif 1239-1239 |
子類 鐘 and 打擊樂器 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1301-1301 |
子類 Castanet and 打擊樂器 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1266-1266 |
子類 鼓 and 打擊樂器 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45098-45098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45097-45097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45096-45096 |
|