| HornInstrument(horn instrument)
| | French_horn, cornet, euphonium, horn, shofar, shophar, trump, trumpet |
| 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 | Horn instrument is a subclass of musical instrument |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1279-1279 | Bugle is a subclass of horn instrument |
| 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 |
|
|
|