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 1279-1279 | Bugle est une sous-classe de HornInstrument |
![]() |