No TPTP formula. May not be expressible in strict first order. |
Music.kif 1289-1289 |
Clarinet is a subclass of wind instrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1292-1292 |
Flute is a subclass of wind instrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1295-1295 |
Oboe is a subclass of wind instrument |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1298-1298 |
Saxophone is a subclass of wind instrument |
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 |
|