Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__6Fn__0En1En2En3In4Ra5In6RaFn
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Mausaharati EnglishLanguage "A man who beats a drum in the streets (before dawn) to wake people up to have suhur before they start a new day of fasting.") | ArabicCulture.kif 48-50 | |
| (instance Mausaharati SocialRole) | ArabicCulture.kif 51-51 | Mausaharati is an instance of social role |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Mausaharati "mausaharati") | domainEnglishFormat.kif 36569-36569 | |
| (termFormat ChineseTraditionalLanguage Mausaharati "mausaharati") | domainEnglishFormat.kif 36570-36570 | |
| (termFormat ChineseLanguage Mausaharati "mausaharati") | domainEnglishFormat.kif 36571-36571 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
|