| appearance as argument number 1 |
|
| (comment PlayingInstrumentFn "This was taken from Biography.kif and moved to Music.kif. 09-28-2011" "KJN") | Music.kif 827-828 | |
| (documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.") | Music.kif 825-826 | |
| (domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 829-829 | |
| (instance PlayingInstrumentFn UnaryFunction) | Music.kif 830-830 | |
| (rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) | Music.kif 831-831 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage PlayingInstrumentFn "playing %1 ") | domainEnglishFormat.kif 4122-4122 | |
| (format ChineseTraditionalLanguage PlayingInstrumentFn "playing %1 ") | domainEnglishFormat.kif 4121-4121 | |
| (format EnglishLanguage PlayingInstrumentFn "playing %1") | domainEnglishFormat.kif 4120-4120 | |
| (termFormat EnglishLanguage PlayingInstrumentFn "playing instrument fn") | domainEnglishFormat.kif 65322-65322 |
| antecedent |
|
|
| (=> (instance ?PROC (PlayingInstrumentFn ?INST)) (exists (?I) (and (instance ?I ?INST) (instrument ?PROC ?I)))) |
Music.kif 833-838 |
| consequent |
|
|
| (=> (attribute ?PERSON Cellist) (hasSkill (PlayingInstrumentFn Cello) ?PERSON)) |
Music.kif 1416-1419 | |
| (=> (attribute ?PERSON Drummer) (hasSkill (PlayingInstrumentFn Drum) ?PERSON)) |
Music.kif 1432-1435 | |
| (=> (attribute ?PERSON Guitarist) (hasSkill (PlayingInstrumentFn Guitar) ?PERSON)) |
Music.kif 1409-1412 | |
| (=> (attribute ?PERSON Pianist) (hasSkill (PlayingInstrumentFn Piano) ?PERSON)) |
Music.kif 1393-1396 | |
| (=> (attribute ?PERSON Saxophonist) (hasSkill (PlayingInstrumentFn Saxophone) ?PERSON)) |
Music.kif 1424-1427 | |
| (=> (attribute ?PERSON Violinist) (hasSkill (PlayingInstrumentFn Violin) ?PERSON)) |
Music.kif 1401-1404 | |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners