Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Khimar(khimar) |  | khimar |
| appearance as argument number 1 |
|
|
| (documentation Khimar EnglishLanguage "A piece of (mostly) black cloth worn to cover a woman's whole face (in Saudi Arabia and Gulf states)") | ArabicCulture.kif 477-478 | |
| (subclass Khimar Veil) | ArabicCulture.kif 480-480 | Khimar is a subclass of veil |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T Khimar) (exists (?P) (and (part ?P ?T) (attribute ?P Black)))) |
ArabicCulture.kif 481-486 | If X is an instance of khimar, then there exists Y such that Y is a part of X and black is an attribute of Y |
| (=> (instance ?H Khimar) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 488-494 | If X is an instance of khimar, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X |
|