| PercussionInstrument(percussion instrument)
| | bell, bones, castanets, chime, clappers, cymbal, finger_cymbals, glockenspiel, gong, high-hat_cymbal, high_hat, kettle, kettledrum, lagerphone, maraca, marimba, orchestral_bells, percussion_instrument, percussive_instrument, rain_stick, snare, tam-tam, timpani, triangle, tympani, tympanum, vibes, vibraharp, vibraphone, xylophone, zill |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1213-1214 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1214-1214 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1212-1212 | Percussion 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 1231-1231 | Bell is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1293-1293 | Castanet is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1258-1258 | Drum is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44995-44995 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44994-44994 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44993-44993 |
|
|
|