| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18527-18527 | MusicalGroup e' uma sub-classe de GroupOfPeople |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 965-965 | MarchingBand e' uma sub-classe de MusicalGroup |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18531-18531 | Orchestra e' uma sub-classe de MusicalGroup |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1782-1782 | Choir e' uma sub-classe de MusicalGroup |
|
|