Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Drumming
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Drumming EnglishLanguage "Playing a Drum. Note that this includes both musical performance, as well as signalling and ceremonial applications.") | Music.kif 1364-1366 | |
| (subclass Drumming MakingInstrumentalMusic) | Music.kif 1367-1367 | Drumming is a subclass of instrumental music |
| (externalImage Drumming "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Inde_bison_muria9471a.jpg") | pictureList.kif 4666-4666 | Drumming is a subclass of instrumental music |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?H Man) (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?DAY) (earlier (WhenFn ?D) ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (earlier (WhenFn ?WU) (WhenFn ?SUHUR)) (during (WhenFn ?WU) ?DAY) (during (WhenFn ?SUHUR) ?DAY))))) |
ArabicCulture.kif 65-84 | If All of the following hold: (1) X is an instance of man (2) mausaharati is an attribute of X (3) Y is an instance of drumming (4) X is an agent of Y (5) Z is an instance of day (6) W is an instance of sunrise (7) W takes place during Z (8) the time of existence of Y happens earlier than W, then All of the following hold: (1) Y has the purpose there exist V, U (2) T such that T is an instance of waking up (3) V experiences T (4) U is an instance of suhur (5) V is an agent of U (6) the time of existence of T happens earlier than the time of existence of U (7) the time of existence of T takes place during Z (8) the time of existence of U takes place during Z |
| (=> (instance ?D Drumming) (exists (?A ?DRUM ?I) (and (agent ?D ?A) (instrument ?D ?DRUM) (subProcess ?I ?D) (agent ?I ?A) (patient ?I ?DRUM) (instance ?I Impacting) (instance ?DRUM Drum)))) |
Music.kif 1369-1379 | If X is an instance of drumming, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Z is an instrument for X (4) W is a subprocess of X (5) Y is an agent of W (6) Z is a patient of W (7) W is an instance of impacting (8) Z is an instance of drum |
| consequent |
|
|
| (=> (and (instance ?H Man) (attribute ?H Mausaharati)) (hasSkill Drumming ?H)) |
ArabicCulture.kif 59-63 | If X is an instance of man and mausaharati is an attribute of X, then X has the skill to do drumming |
| (=> (instance ?D Drum) (hasPurpose ?D (exists (?P) (and (instance ?P Drumming) (instrument ?P ?D))))) |
Music.kif 1275-1281 | If X is an instance of drum, then X has the purpose there exists Y such that Y is an instance of drumming and X is an instrument for Y |
|
