Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cloak
Cloak(cloak)
burka, burqa, dressing_gown, izar, lounging_robe, poncho, robe-de-chambre

appearance as argument number 1
-------------------------


(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 5091-5092
(externalImage Cloak "http://upload.wikimedia.org/wikipedia/commons/0/04/ Fashion_Plate_Manteau_1823.jpg") pictureList.kif 4610-4610
(subclass Cloak Clothing) Mid-level-ontology.kif 5090-5090 Cloak is a subclass of clothing

appearance as argument number 2
-------------------------


(subclass Abayah Cloak) ArabicCulture.kif 527-527 Abayah is a subclass of cloak
(subclass Dishdashah Cloak) ArabicCulture.kif 449-449 Dishdashah is a subclass of cloak
(subclass Jallabiyyah Cloak) ArabicCulture.kif 437-437 Jallabiyyah is a subclass of cloak
(subclass Jilbab Cloak) ArabicCulture.kif 513-513 Jilbab is a subclass of cloak
(termFormat ChineseLanguage Cloak "披风") domainEnglishFormat.kif 15184-15184 Jilbab is a subclass of cloak
(termFormat ChineseTraditionalLanguage Cloak "披風") domainEnglishFormat.kif 15183-15183 Jilbab is a subclass of cloak
(termFormat EnglishLanguage Cloak "cloak") domainEnglishFormat.kif 15182-15182 Jilbab 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners