No TPTP formula. May not be expressible in strict first order. |
Music.kif 1239-1239 |
Bell est une sous-classe de PercussionInstrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1301-1301 |
Castanet est une sous-classe de PercussionInstrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1266-1266 |
Drum est une sous-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 |
|