Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Sleeve Clothing) Mid-level-ontology.kif 6363-6363 Sleeve is a subclass of clothing
(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 6364-6365 Sleeve is a subclass of clothing
(subclass Sleeve
    (CoveringFn Arm))		 Mid-level-ontology.kif 6366-6366 Sleeve is a subclass of a covering for arm
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/e5/ Jan_van_Eyck_001_sleeve.jpg") pictureList.kif 6863-6863 Sleeve is a subclass of a covering for arm
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Straight_sleeve.jpg") pictureList.kif 7877-7877 Sleeve is a subclass of a covering for arm
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Basic_sleeve.jpg") pictureList.kif 7878-7878 Sleeve is a subclass of a covering for arm
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Bishops_sleeve.jpg") pictureList.kif 7879-7879 Sleeve is a subclass of a covering for arm
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Puffed_sleeves.jpg") pictureList.kif 7880-7880 Sleeve is a subclass of a covering for arm

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


(termFormat EnglishLanguage Sleeve "sleeve") domainEnglishFormat.kif 53379-53379
(termFormat ChineseTraditionalLanguage Sleeve "袖") domainEnglishFormat.kif 53380-53380
(termFormat ChineseLanguage Sleeve "袖") domainEnglishFormat.kif 53381-53381

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


(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))		 Mid-level-ontology.kif 6368-6376 If X wears Y and Y is an instance of sleeve, then there exists Z such that Z is an instance of arm, Z is a part of X, and Y contains Z
(=>
    (instance ?S Sleeve)
    (exists (?C)
        (and
            (part ?S ?C)
            (or
                (instance ?C Shirt)
                (instance ?C Coat)))))		 Mid-level-ontology.kif 6378-6385 If X is an instance of sleeve, then there exists Y such that X is a part of Y and Y is an instance of shirt or Y is an instance of coat


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners