|
|
   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 22137-22139 | |
| (subclass Musician ArtisticOccupation) | Mid-level-ontology.kif 22136-22136 |
| 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 39423-39423 | |
| (termFormat ChineseTraditionalLanguage Musician "音樂家") | domainEnglishFormat.kif 39422-39422 | |
| (termFormat EnglishLanguage Musician "musician") | domainEnglishFormat.kif 39421-39421 |
| antecedent |
|
|
| (=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 22141-22145 | |
| (=> (and (instance ?CONDUCT MusicalConducting) (patient ?CONDUCT ?PATIENT) (instance ?M Musician)) (or (instance ?PATIENT MusicalGroup) (holdsDuring (WhenFn ?CONDUCT) (attribute ?PATIENT ?M)))) |
Mid-level-ontology.kif 18409-18418 |
| 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 |
|
|
|