Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Veil(veil) |  | headscarf, tudung, yashmac, yashmak |
| appearance as argument number 1 |
|
|
| (documentation Veil EnglishLanguage "A piece of Clothing intended to cover or obscure the face or hair of a Woman. This is commonly worn for religious reasons when in public in Muslim countries, but is also customary at Weddings and Funerals among some non-Muslim women.") | Mid-level-ontology.kif 6585-6588 | |
| (subclass Veil Clothing) | Mid-level-ontology.kif 6590-6590 | Veil is a subclass of clothing |
| appearance as argument number 2 |
|
|
| (subclass Niqab Veil) | ArabicCulture.kif 461-461 | Niqab is a subclass of veil |
| (subclass Khimar Veil) | ArabicCulture.kif 480-480 | Khimar is a subclass of veil |
| (subclass Hijab Veil) | ArabicCulture.kif 499-499 | Hijab is a subclass of veil |
| (termFormat EnglishLanguage Veil "veil") | domainEnglishFormat.kif 61431-61431 | Hijab is a subclass of veil |
| (termFormat ChineseTraditionalLanguage Veil "面紗") | domainEnglishFormat.kif 61432-61432 | Hijab is a subclass of veil |
| (termFormat ChineseLanguage Veil "面纱") | domainEnglishFormat.kif 61433-61433 | Hijab is a subclass of veil |
| antecedent |
|
|
| (=> (instance ?V Veil) (hasPurpose ?V (exists (?F ?H) (or (and (instance ?F Face) (meetsSpatially ?V ?F)) (and (instance ?H Hair) (meetsSpatially ?V ?H)))))) |
Mid-level-ontology.kif 6592-6602 | If X is an instance of veil, then X has the purpose there exist Y, Z such that Y is an instance of face, X meets Y or Z is an instance of hair, and X meets Z |
|