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 |
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. | Media.kif 1782-1782 | Choir is a subclass of musical group |