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 22138-22140
(subclass Musician ArtisticOccupation) Mid-level-ontology.kif 22137-22137

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


(instance Cellist Musician) Music.kif 1411-1411
(instance Drummer Musician) Music.kif 1426-1426
(instance Guitarist Musician) Music.kif 1403-1403
(instance Pianist Musician) Music.kif 1387-1387
(instance Saxophonist Musician) Music.kif 1418-1418
(instance SoloSinger Musician) Music.kif 1434-1434
(instance Violinist Musician) Music.kif 1395-1395
(termFormat ChineseLanguage Musician "音乐家") domainEnglishFormat.kif 39391-39391
(termFormat ChineseTraditionalLanguage Musician "音樂家") domainEnglishFormat.kif 39390-39390
(termFormat EnglishLanguage Musician "musician") domainEnglishFormat.kif 39389-39389

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


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 22142-22146
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))
Mid-level-ontology.kif 18288-18297

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