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


KB Term:  Term intersection
English Word: 

  Cloak

Sigma KEE - 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 6029-6030
(externalImage Cloak "http://upload.wikimedia.org/wikipedia/commons/0/04/ Fashion_Plate_Manteau_1823.jpg") pictureList.kif 4609-4609
(subclass Cloak Clothing) Mid-level-ontology.kif 6028-6028 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 15176-15176 Jilbab is a subclass of Cloak
(termFormat ChineseTraditionalLanguage Cloak "披風") domainEnglishFormat.kif 15175-15175 Jilbab is a subclass of Cloak
(termFormat EnglishLanguage Cloak "cloak") domainEnglishFormat.kif 15174-15174 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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