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 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 |
|