Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Musician ArtisticOccupation) | Mid-level-ontology.kif 20425-20425 | Musician is a subclass of artistic occupation |
| (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 20426-20428 | Musician is a subclass of artistic occupation |
| appearance as argument number 2 |
|
|
| (instance Pianist Musician) | Music.kif 1392-1392 | Pianist is an instance of musician |
| (instance Violinist Musician) | Music.kif 1400-1400 | Violinist is an instance of musician |
| (instance Guitarist Musician) | Music.kif 1408-1408 | Guitarist is an instance of musician |
| (instance Cellist Musician) | Music.kif 1416-1416 | Cellist is an instance of musician |
| (instance Saxophonist Musician) | Music.kif 1423-1423 | Saxophonist is an instance of musician |
| (instance Drummer Musician) | Music.kif 1431-1431 | Drummer is an instance of musician |
| (instance SoloSinger Musician) | Music.kif 1439-1439 | Solo singer is an instance of musician |
| (termFormat EnglishLanguage Musician "musician") | domainEnglishFormat.kif 39415-39415 | Solo singer is an instance of musician |
| (termFormat ChineseTraditionalLanguage Musician "音樂家") | domainEnglishFormat.kif 39416-39416 | Solo singer is an instance of musician |
| (termFormat ChineseLanguage Musician "音乐家") | domainEnglishFormat.kif 39417-39417 | Solo singer is an instance of musician |
| antecedent |
|
|
| (=> (and (instance ?CONDUCT MusicalConducting) (patient ?CONDUCT ?PATIENT) (instance ?M Musician)) (or (instance ?PATIENT MusicalGroup) (holdsDuring (WhenFn ?CONDUCT) (attribute ?PATIENT ?M)))) |
Mid-level-ontology.kif 20411-20420 | If X is an instance of musical conducting, Y is a patient of X, and Z is an instance of musician, then Y is an instance of musical group or Z is an attribute of Y holds during the time of existence of X |
| (=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 20430-20434 | If X is an attribute of Y and X is an instance of musician, then Y has the skill to do musical performance |
| consequent |
|
|
| (=> (and (instance ?GROUP MusicalGroup) (holdsDuring ?T1 (member ?MEM ?GROUP))) (exists (?M) (and (instance ?M Musician) (holdsDuring ?T1 (attribute ?MEM ?M))))) |
Media.kif 1718-1727 | If X is an instance of musical group and Y is a member of X holds during Z, then there exists W such that W is an instance of musician and W is an attribute of Y holds during Z |
| (=> (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 X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U |
|