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 22241-22243 | |
(subclass Musician ArtisticOccupation) | Mid-level-ontology.kif 22240-22240 | Musician is a subclass of artistic occupation |
appearance as argument number 2 |
(instance Cellist Musician) | Music.kif 1412-1412 | Cellist is an instance of musician |
(instance Drummer Musician) | Music.kif 1427-1427 | Drummer is an instance of musician |
(instance Guitarist Musician) | Music.kif 1404-1404 | Guitarist is an instance of musician |
(instance Pianist Musician) | Music.kif 1388-1388 | Pianist is an instance of musician |
(instance Saxophonist Musician) | Music.kif 1419-1419 | Saxophonist is an instance of musician |
(instance SoloSinger Musician) | Music.kif 1435-1435 | Solo singer is an instance of musician |
(instance Violinist Musician) | Music.kif 1396-1396 | Violinist is an instance of musician |
(termFormat ChineseLanguage Musician "音乐家") | domainEnglishFormat.kif 39413-39413 | |
(termFormat ChineseTraditionalLanguage Musician "音樂家") | domainEnglishFormat.kif 39412-39412 | |
(termFormat EnglishLanguage Musician "musician") | domainEnglishFormat.kif 39411-39411 |
antecedent |
(=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 22245-22249 |
|
(=> (and (instance ?CONDUCT MusicalConducting) (patient ?CONDUCT ?PATIENT) (instance ?M Musician)) (or (instance ?PATIENT MusicalGroup) (holdsDuring (WhenFn ?CONDUCT) (attribute ?PATIENT ?M)))) |
Mid-level-ontology.kif 18533-18542 |
|
consequent |