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 1221-1222 | |
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 1220-1220 | 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 1239-1239 | Bell is a subclass of percussion instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1301-1301 | Castanet is a subclass of percussion instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1266-1266 | Drum is a subclass of percussion instrument |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45098-45098 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45097-45097 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45096-45096 |