| 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 | Musician is a subclass of artistic occupation |
| appearance as argument number 2 |
|
|
| (instance Cellist Musician) | Music.kif 1414-1414 | Cellist is an instance of musician |
| (instance Drummer Musician) | Music.kif 1429-1429 | Drummer is an instance of musician |
| (instance Guitarist Musician) | Music.kif 1406-1406 | Guitarist is an instance of musician |
| (instance Pianist Musician) | Music.kif 1390-1390 | Pianist is an instance of musician |
| (instance Saxophonist Musician) | Music.kif 1421-1421 | Saxophonist is an instance of musician |
| (instance SoloSinger Musician) | Music.kif 1437-1437 | Solo singer is an instance of musician |
| (instance Violinist Musician) | Music.kif 1398-1398 | Violinist is an instance of musician |
| (termFormat ChineseLanguage Musician "音乐家") | domainEnglishFormat.kif 39424-39424 | Violinist is an instance of musician |
| (termFormat ChineseTraditionalLanguage Musician "音樂家") | domainEnglishFormat.kif 39423-39423 | Violinist is an instance of musician |
| (termFormat EnglishLanguage Musician "musician") | domainEnglishFormat.kif 39422-39422 | Violinist is an instance of musician |
| 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 |
|
|
|
|
|