| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15979-15979 | Instrumento Musical e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1186-1186 | StringInstrument e' uma sub-classe de Instrumento Musical |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1198-1198 | WindInstrument e' uma sub-classe de Instrumento Musical |
| 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 1220-1220 | PercussionInstrument e' uma sub-classe de Instrumento Musical |
|
|