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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Musician

Sigma KEE - Musician
Musician(musician)Arcangelo_Corelli, Corelli, Horne, Lena_Calhoun_Horne, Lena_Horne, accompanist, accompanyist, accordionist, adapter, alto_saxophonist, altoist, arranger, bagpiper, bandsman, bassist, bassoonist, bell_ringer, carillonneur, clarinetist, clarinettist, cornetist, cymbalist, flautist, flute_player, flutist, folk_singer, gambist, harmoniser, harmonizer, harper, harpist, harpsichordist, hornist, hummer, instrumentalist, jazz_musician, jazzman, jongleur, keyboardist, koto_player, lieder_singer, lutanist, lutenist, lutist, madrigalist, mezzo, mezzo-soprano, minstrel, musician, oboist...

appearance as argument number 1
-------------------------


(documentation Musician EnglishLanguage "A Musician is someone who is capable of giving a MusicalPerformance. This includes amateurs and others who don't formally make a living at the activity or choose it as a profession.") Mid-level-ontology.kif 21669-21671
(subclass Musician ArtisticOccupation) Mid-level-ontology.kif 21668-21668 Musician is a subclass of ArtisticOccupation

appearance as argument number 2
-------------------------


(instance Cellist Musician) Music.kif 1405-1405 Cellist is an instance of musician
(instance Drummer Musician) Music.kif 1420-1420 Drummer is an instance of musician
(instance Guitarist Musician) Music.kif 1397-1397 Guitarist is an instance of musician
(instance Pianist Musician) Music.kif 1381-1381 Pianist is an instance of musician
(instance Saxophonist Musician) Music.kif 1412-1412 Saxophonist is an instance of musician
(instance SoloSinger Musician) Music.kif 1428-1428 SoloSinger is an instance of musician
(instance Violinist Musician) Music.kif 1389-1389 Violinist is an instance of musician
(termFormat ChineseLanguage Musician "音乐家") domainEnglishFormat.kif 39396-39396
(termFormat ChineseTraditionalLanguage Musician "音樂家") domainEnglishFormat.kif 39395-39395
(termFormat EnglishLanguage Musician "musician") domainEnglishFormat.kif 39394-39394

antecedent
-------------------------


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 21673-21677
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))
Mid-level-ontology.kif 17881-17890

consequent
-------------------------


(=>
    (and
        (instance ?GROUP MusicalGroup)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (exists (?M)
        (and
            (instance ?M Musician)
            (holdsDuring ?T1
                (attribute ?MEM ?M)))))
Media.kif 1757-1766
(=>
    (instance ?D Discography)
    (exists (?M ?AC)
        (and
            (instance ?M CognitiveAgent)
            (attribute ?M ?AC)
            (instance ?AC Musician)
            (forall (?X)
                (=>
                    (member ?X ?D)
                    (exists (?I ?T ?R ?DS)
                        (and
                            (musician ?X ?M ?I)
                            (releaseForSale
                                (AlbumCopiesFn ?X ?DS) ?R ?T))))))))
Music.kif 67-80


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

Show without tree


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