HornInstrument
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1216-1218 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 503-503 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 113-113 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1215-1215 | 子類 喇叭樂器 and MusicalInstrument |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1279-1279 | 子類 號角 and 喇叭樂器 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28575-28575 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28574-28574 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28573-28573 |