No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18526-18526 | MusicalGroup est une sous-classe de GroupOfPeople |
No TPTP formula. May not be expressible in strict first order. | Music.kif 965-965 | MarchingBand est une sous-classe de MusicalGroup |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18530-18530 | Orchestra est une sous-classe de MusicalGroup |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1782-1782 | Choir est une sous-classe de MusicalGroup |