No TPTP formula. May not be expressible in strict first order. | Merge.kif 15979-15979 | Instrument de musique est une sous-classe de appareil |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1186-1186 | StringInstrument est une sous-classe de instrument de musique |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1198-1198 | WindInstrument est une sous-classe de instrument de musique |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1215-1215 | HornInstrument est une sous-classe de instrument de musique |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1220-1220 | PercussionInstrument est une sous-classe de instrument de musique |
![]() |