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 | HornInstrument est une sous-classe de instrument de musique |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1279-1279 | Bugle est une sous-classe de HornInstrument |
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 |
![]() |
![]() |