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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Musician

Sigma KEE - Musician
Musician

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 22189-22191
(subclass Musician ArtisticOccupation) Mid-level-ontology.kif 22188-22188 Musician est une sous-classe de ArtisticOccupation

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


(instance Cellist Musician) Music.kif 1412-1412 Cellist est une instance de Musician
(instance Drummer Musician) Music.kif 1427-1427 Drummer est une instance de Musician
(instance Guitarist Musician) Music.kif 1404-1404 Guitarist est une instance de Musician
(instance Pianist Musician) Music.kif 1388-1388 Pianist est une instance de Musician
(instance Saxophonist Musician) Music.kif 1419-1419 Saxophonist est une instance de Musician
(instance SoloSinger Musician) Music.kif 1435-1435 SoloSinger est une instance de Musician
(instance Violinist Musician) Music.kif 1396-1396 Violinist est une instance de Musician
(termFormat ChineseLanguage Musician "音乐家") domainEnglishFormat.kif 39411-39411
(termFormat ChineseTraditionalLanguage Musician "音樂家") domainEnglishFormat.kif 39410-39410
(termFormat EnglishLanguage Musician "musician") domainEnglishFormat.kif 39409-39409

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


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 22193-22197
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))
Mid-level-ontology.kif 18506-18515

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 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