No TPTP formula. May not be expressible in strict first order. |
Music.kif 1239-1239 |
Bell e' uma sub-classe de PercussionInstrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1301-1301 |
Castanet e' uma sub-classe de PercussionInstrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1266-1266 |
Drum e' uma sub-classe de PercussionInstrument |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45096-45096 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45095-45095 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45094-45094 |
|