Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalGroup
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners