No TPTP formula. May not be expressible in strict first order. |
Music.kif 1289-1289 |
子類 Clarinet and 管樂器 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1292-1292 |
子類 Flute and 管樂器 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1295-1295 |
子類 Oboe and 管樂器 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1298-1298 |
子類 Saxophone and 管樂器 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63105-63105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63104-63104 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63103-63103 |
|