No TPTP formula. May not be expressible in strict first order. | Music.kif 1215-1215 | HornInstrument e' uma sub-classe de Instrumento Musical |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1279-1279 | Bugle e' uma sub-classe de HornInstrument |
![]() |