| HornInstrument(喇叭乐器)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1216-1218 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 503-503 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 113-113 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1215-1215 | 喇叭乐器 是 乐器 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1279-1279 | 号角 是 喇叭乐器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28575-28575 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28574-28574 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28573-28573 |
|
|
|