Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Shimagh(shimagh)
|
| appearance as argument number 1 |
|
| (documentation Shimagh EnglishLanguage "A heavy red and white checked scarflike head cover which is worn by Arabs in the Gulf countries in Winter.") | ArabicCulture.kif 389-390 | |
| (subclass Shimagh Hat) | ArabicCulture.kif 392-392 | Shimagh is a subclass of hat |
| (externalImage Shimagh "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ Male_with_Shemagh.jpg") | pictureList.kif 7835-7835 | Shimagh is a subclass of hat |
| (externalImage Shimagh "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Sabaa_Nissan_Militiaman.jpg") | pictureList.kif 7836-7836 | Shimagh is a subclass of hat |
| (externalImage Shimagh "http://upload.wikimedia.org/wikipedia/commons/b/ b7/ Yasser_arafat-1999.jpg") | pictureList.kif 7837-7837 | Shimagh is a subclass of hat |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T Shimagh) (and (attribute ?T White) (attribute ?T Red))) |
ArabicCulture.kif 393-397 | If X is an instance of shimagh, then white is an attribute of X and red is an attribute of X |
| (=> (instance ?G Shimagh) (hasPurpose ?G (=> (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (coldSeasonInArea ?AREA ?S)) (during ?T ?S)))) |
ArabicCulture.kif 399-409 | If X is an instance of shimagh, then X has the purpose Y wears X holds during Z, Y is located at W holds during Z, and V is a cold season in area of WZ takes place during V |
|