musician - Sigma Knowledge base Browser

appearance as argument number 1

(documentation musician EnglishLanguage "(musician ?MR ?P ?I) means that Human ?P played some Process ?I as a Musician in MusicRecording ?MR")	Music.kif 189-190
(domain musician 1 MusicRecording)	Music.kif 193-193	The number 1 argument of musician is an instance of music recording
(domain musician 2 Human)	Music.kif 194-194	The number 2 argument of musician is an instance of human
(domainSubclass musician 3 MakingMusic)	Music.kif 195-195	The number 3 argument of musician is a subclass of making music
(instance musician TernaryPredicate)	Music.kif 188-188	musician is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage musician "%2 表演了 %1 ")	domainEnglishFormat.kif 3928-3928
(format ChineseTraditionalLanguage musician "%2 表演了 %1 ")	domainEnglishFormat.kif 3927-3927
(format EnglishLanguage musician "%2 performed %1")	domainEnglishFormat.kif 3926-3926
(termFormat EnglishLanguage musician "musician")	Music.kif 191-191

antecedent

(=>
    (musician ?MR ?P ?R)
    (exists (?MM ?I)
        (and
            (instance ?MM ?R)
            (or
                (equal ?R
                    (PlayingInstrumentFn ?I))
                (equal ?R MakingVocalMusic))
            (agent ?MM ?P)
            (result ?MM ?MR))))

Music.kif 197-206

If a human performed a music recording,
then there exist a process and a kind of device such that the process is an instance of a kind of making music and a kind of making music is equal to playing a kind of device or the kind of making music is equal to singing and the human is an agent of the process and the music recording is a result of the process

consequent

(=> (discography ?A ?D) (forall (?X) (=> (member ?X ?D) (exists (?I) (musician ?X ?A ?I)))))	Music.kif 243-249	If a human has discography a discography, then for all a music recording if the music recording is a member of the discography, then there exists a kind of making music such that the human performed the music recording
(=> (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	If a collection is an instance of discography, then there exist a human and an attribute such that the human is an instance of cognitive agent and the attribute is an attribute of the human and the attribute is an instance of musician and for all an album if the album is a member of the collection, then there exist a kind of making music, a time point,, , a geographic area and the collectionS such that the human performed the album and the set of copies on the collectionS of the album was released for sale in the geographic area at the time point

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

KB Term:			Term intersection

English Word: