No TPTP formula. May not be expressible in strict first order. |
Music.kif 1289-1289 |
Clarinet e' uma sub-classe de WindInstrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1292-1292 |
Flute e' uma sub-classe de WindInstrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1295-1295 |
Oboe e' uma sub-classe de WindInstrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1298-1298 |
Saxophone e' uma sub-classe de WindInstrument |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63105-63105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63104-63104 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63103-63103 |
|