Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Gutrah(gutrah) |
| appearance as argument number 1 |
|
| (documentation Gutrah EnglishLanguage "A white scarf_like head cover which is worn by Arabs in the Gulf countries in Summer") | ArabicCulture.kif 368-369 | |
| (subclass Gutrah Hat) | ArabicCulture.kif 371-371 | Gutrah is a subclass of hat |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?G Gutrah) (attribute ?G White)) |
ArabicCulture.kif 372-374 | If X is an instance of gutrah, then white is an attribute of X |
| (=> (instance ?G Gutrah) (hasPurpose ?G (=> (exists (?H ?AREA) (and (holdsDuring ?T (wears ?H ?G)) (holdsDuring ?T (located ?H ?AREA)) (hotSeasonInArea ?AREA ?S))) (during ?T ?S)))) |
ArabicCulture.kif 376-387 | If X is an instance of gutrah, then X has the purpose there exist Y, Z such that Y wears X holds during W, Y is located at Z holds during W, and V is a hot season in area of ZW takes place during V |
|