No TPTP formula. May not be expressible in strict first order. | Music.kif 1215-1215 | Horn instrument is a subclass of musical instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1279-1279 | Bugle is a subclass of horn instrument |