| 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 | Le nombre 1 argument de musician est une instance de MusicRecording |
| (domain musician 2 Human) | Music.kif 194-194 | Le nombre 2 argument de musician est une instance de humain |
| (domainSubclass musician 3 MakingMusic) | Music.kif 195-195 | Le nombre 3 argument de musician est une sous-classe de MakingMusic |
| (instance musician TernaryPredicate) | Music.kif 188-188 | musician est une instance de pr�dicat ternaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage musician "%2 表演了 %1 ") | domainEnglishFormat.kif 3934-3934 | |
| (format ChineseTraditionalLanguage musician "%2 表演了 %1 ") | domainEnglishFormat.kif 3933-3933 | |
| (format EnglishLanguage musician "%2 performed %1") | domainEnglishFormat.kif 3932-3932 | |
| (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 |
|
| consequent |
|
|
| (=> (discography ?A ?D) (forall (?X) (=> (member ?X ?D) (exists (?I) (musician ?X ?A ?I))))) |
Music.kif 243-249 | |
| (=> (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