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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 23303-23305
(subclass Musician ArtisticOccupation) Mid-level-ontology.kif 23302-23302 Musician is a subclass of artistic occupation

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


(instance Cellist Musician) Music.kif 1412-1412 Cellist is an instance of musician
(instance Drummer Musician) Music.kif 1427-1427 Drummer is an instance of musician
(instance Guitarist Musician) Music.kif 1404-1404 Guitarist is an instance of musician
(instance Pianist Musician) Music.kif 1388-1388 Pianist is an instance of musician
(instance Saxophonist Musician) Music.kif 1419-1419 Saxophonist is an instance of musician
(instance SoloSinger Musician) Music.kif 1435-1435 Solo singer is an instance of musician
(instance Violinist Musician) Music.kif 1396-1396 Violinist is an instance of musician
(termFormat ChineseLanguage Musician "音乐家") domainEnglishFormat.kif 39441-39441 Violinist is an instance of musician
(termFormat ChineseTraditionalLanguage Musician "音樂家") domainEnglishFormat.kif 39440-39440 Violinist is an instance of musician
(termFormat EnglishLanguage Musician "musician") domainEnglishFormat.kif 39439-39439 Violinist is an instance of musician

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


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))		 Mid-level-ontology.kif 23307-23311
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))		 Mid-level-ontology.kif 19595-19604

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


(=>
    (and
        (instance ?GROUP MusicalGroup)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (exists (?M)
        (and
            (instance ?M Musician)
            (holdsDuring ?T1
                (attribute ?MEM ?M)))))		 Media.kif 1771-1780
(=>
    (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 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