Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Cloak
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Cloak Clothing) | Mid-level-ontology.kif 6191-6191 | Cloak is a subclass of clothing |
| (documentation Cloak EnglishLanguage "A piece of Clothing that covers the whole body except the face (and possibly entire head), hands, and feet.") | Mid-level-ontology.kif 6192-6193 | Cloak is a subclass of clothing |
| (externalImage Cloak "http://upload.wikimedia.org/wikipedia/commons/0/04/ Fashion_Plate_Manteau_1823.jpg") | pictureList.kif 4609-4609 | Cloak is a subclass of clothing |
| appearance as argument number 2 |
|
|
| (subclass Jallabiyyah Cloak) | ArabicCulture.kif 436-436 | Jallabiyyah is a subclass of cloak |
| (subclass Dishdashah Cloak) | ArabicCulture.kif 448-448 | Dishdashah is a subclass of cloak |
| (subclass Jilbab Cloak) | ArabicCulture.kif 512-512 | Jilbab is a subclass of cloak |
| (subclass Abayah Cloak) | ArabicCulture.kif 526-526 | Abayah is a subclass of cloak |
| (termFormat EnglishLanguage Cloak "cloak") | domainEnglishFormat.kif 15168-15168 | Abayah is a subclass of cloak |
| (termFormat ChineseTraditionalLanguage Cloak "披風") | domainEnglishFormat.kif 15169-15169 | Abayah is a subclass of cloak |
| (termFormat ChineseLanguage Cloak "披风") | domainEnglishFormat.kif 15170-15170 | Abayah is a subclass of cloak |
| consequent |
|
|
| (=> (and (instance ?IC IhramClothing) (wears ?IC ?M) (attribute ?M Male)) (exists (?C ?B ?S) (and (instance ?C Cloak) (instance ?B Belt) (instance ?S Sandal) (member ?C ?IC) (member ?B ?IC) (member ?S ?IC)))) |
ArabicCulture.kif 151-163 | If X is an instance of ihram clothing, X wears Y, and male is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of cloak (3) W is an instance of belt (4) V is an instance of sandal (5) Z is a member of X (6) W is a member of X (7) V is a member of X |
|
