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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sleeve

Sigma KEE - Sleeve
Sleeve(sleeve)
more pictures...
arm, dolman_sleeve, long_sleeve, raglan_sleeve, shirtsleeve, short_sleeve, sleeve

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


(documentation Sleeve EnglishLanguage "A piece of Clothing that covers the Arm. A Sleeve is always part of a Coat or a Shirt.") Mid-level-ontology.kif 5263-5264
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Puffed_sleeves.jpg") pictureList.kif 7881-7881
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Bishops_sleeve.jpg") pictureList.kif 7880-7880
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Basic_sleeve.jpg") pictureList.kif 7879-7879
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/e5/ Jan_van_Eyck_001_sleeve.jpg") pictureList.kif 6864-6864
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Straight_sleeve.jpg") pictureList.kif 7878-7878
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 5265-5265 Sleeve is a subclass of a covering for arm
(subclass Sleeve Clothing) Mid-level-ontology.kif 5262-5262 Sleeve is a subclass of clothing

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


(termFormat ChineseLanguage Sleeve "袖") domainEnglishFormat.kif 53386-53386
(termFormat ChineseTraditionalLanguage Sleeve "袖") domainEnglishFormat.kif 53385-53385
(termFormat EnglishLanguage Sleeve "sleeve") domainEnglishFormat.kif 53384-53384

antecedent
-------------------------


(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 5267-5275
(=>
    (instance ?S Sleeve)
    (exists (?C)
        (and
            (part ?S ?C)
            (or
                (instance ?C Shirt)
                (instance ?C Coat)))))
Mid-level-ontology.kif 5277-5284


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