| 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 1223-1224 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1213-1213 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1222-1222 | 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 1241-1241 | Bell is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1303-1303 | Castanet is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1268-1268 | Drum is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45098-45098 | Drum is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45097-45097 | Drum is a subclass of percussion instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45096-45096 | Drum is a subclass of percussion instrument |
|
|
|