![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Tagiyyah(tagiyyah) |
| appearance as argument number 1 |
|
|
| (documentation Tagiyyah EnglishLanguage "A white cap that is used by Arabs in north Africa as head cover. In the Gulf countries it is used as one of threepiece head cover where it is worn as the bottom piece under the 'gutrah' and 'oqal'.") | ArabicCulture.kif 358-361 | |
| (subclass Tagiyyah Hat) | ArabicCulture.kif 363-363 | Tagiyyah is a subclass of hat |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T Tagiyyah) (attribute ?T White)) |
ArabicCulture.kif 364-366 | If X is an instance of tagiyyah, then white is an attribute of X |