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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 23830-23832
(subclass Musician ArtisticOccupation) Mid-level-ontology.kif 23829-23829

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


(instance Cellist Musician) Music.kif 1414-1414
(instance Drummer Musician) Music.kif 1429-1429
(instance Guitarist Musician) Music.kif 1406-1406
(instance Pianist Musician) Music.kif 1390-1390
(instance Saxophonist Musician) Music.kif 1421-1421
(instance SoloSinger Musician) Music.kif 1437-1437
(instance Violinist Musician) Music.kif 1398-1398
(termFormat ChineseLanguage Musician "音乐家") domainEnglishFormat.kif 39424-39424
(termFormat ChineseTraditionalLanguage Musician "音樂家") domainEnglishFormat.kif 39423-39423
(termFormat EnglishLanguage Musician "musician") domainEnglishFormat.kif 39422-39422

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


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 23834-23838
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))
Mid-level-ontology.kif 20077-20086

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


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