consequent

(=>     (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	If X plays Y in Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of Y (3) equal Y (4) playing V or equal Y (5) singing (6) X is an agent of W (7) Z is a result of W
(=>     (attribute ?PERSON Pianist)     (hasSkill         (PlayingInstrumentFn Piano) ?PERSON))	Music.kif 1395-1398	If pianist is an attribute of X, then X has the skill to do playing piano
(=>     (attribute ?PERSON Violinist)     (hasSkill         (PlayingInstrumentFn Violin) ?PERSON))	Music.kif 1403-1406	If violinist is an attribute of X, then X has the skill to do playing violin
(=>     (attribute ?PERSON Guitarist)     (hasSkill         (PlayingInstrumentFn Guitar) ?PERSON))	Music.kif 1411-1414	If guitarist is an attribute of X, then X has the skill to do playing guitar
(=>     (attribute ?PERSON Cellist)     (hasSkill         (PlayingInstrumentFn Cello) ?PERSON))	Music.kif 1418-1421	If cellist is an attribute of X, then X has the skill to do playing cello
(=>     (attribute ?PERSON Saxophonist)     (hasSkill         (PlayingInstrumentFn Saxophone) ?PERSON))	Music.kif 1426-1429	If saxophonist is an attribute of X, then X has the skill to do playing saxophone
(=>     (attribute ?PERSON Drummer)     (hasSkill         (PlayingInstrumentFn Drum) ?PERSON))	Music.kif 1434-1437	If drummer is an attribute of X, then X has the skill to do playing drum

Show simplified definition (without tree view)
Show simplified definition (with tree view)