MusicalGroup(musical group) | band, barbershop_quartet, big_band, combo, dance_band, dance_orchestra, duet, duette, duo, ensemble, indie, jazz_band, jazz_group, mariachi, musical_group, musical_organisation, musical_organization, octet, octette, pop_group, quartet, quartette, quintet, quintette, rock_band, rock_group, septet, septette, sestet, sextet, sextette, skiffle_group, steel_band, string_quartet, string_quartette, trio |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18528-18529 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 33-33 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18527-18527 | Musical group is a subclass of group of people |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1782-1782 | Choir is a subclass of musical group |
No TPTP formula. May not be expressible in strict first order. | Music.kif 965-965 | Marching band is a subclass of musical group |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18531-18531 | Orchestra is a subclass of musical group |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39375-39375 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39374-39374 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39373-39373 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1771-1780 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18506-18515 |
|