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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sleeve

Sigma KEE - Sleeve
Sleeve
more pictures...

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 4991-4992
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Puffed_sleeves.jpg") pictureList.kif 7882-7882
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Bishops_sleeve.jpg") pictureList.kif 7881-7881
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Basic_sleeve.jpg") pictureList.kif 7880-7880
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/e5/ Jan_van_Eyck_001_sleeve.jpg") pictureList.kif 6865-6865
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Straight_sleeve.jpg") pictureList.kif 7879-7879
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 4993-4993
(subclass Sleeve Clothing) Mid-level-ontology.kif 4990-4990

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


(termFormat ChineseLanguage Sleeve "袖") domainEnglishFormat.kif 53367-53367
(termFormat ChineseTraditionalLanguage Sleeve "袖") domainEnglishFormat.kif 53366-53366
(termFormat EnglishLanguage Sleeve "sleeve") domainEnglishFormat.kif 53365-53365

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


(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 4995-5003
(=>
    (instance ?S Sleeve)
    (exists (?C)
        (and
            (part ?S ?C)
            (or
                (instance ?C Shirt)
                (instance ?C Coat)))))
Mid-level-ontology.kif 5005-5012


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