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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cloak
Cloak

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 4793-4794
(externalImage Cloak "http://upload.wikimedia.org/wikipedia/commons/0/04/ Fashion_Plate_Manteau_1823.jpg") pictureList.kif 4611-4611
(subclass Cloak Clothing) Mid-level-ontology.kif 4792-4792

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


(subclass Abayah Cloak) ArabicCulture.kif 514-514
(subclass Dishdashah Cloak) ArabicCulture.kif 436-436
(subclass Jallabiyyah Cloak) ArabicCulture.kif 424-424
(subclass Jilbab Cloak) ArabicCulture.kif 500-500
(termFormat ChineseLanguage Cloak "披风") domainEnglishFormat.kif 15171-15171
(termFormat ChineseTraditionalLanguage Cloak "披風") domainEnglishFormat.kif 15170-15170
(termFormat EnglishLanguage Cloak "cloak") domainEnglishFormat.kif 15169-15169

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 142-154


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