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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5546-5547
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Puffed_sleeves.jpg") pictureList.kif 7883-7883
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Bishops_sleeve.jpg") pictureList.kif 7882-7882
(externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Basic_sleeve.jpg") pictureList.kif 7881-7881
(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 7880-7880
(subclass Sleeve Clothing) Mid-level-ontology.kif 5545-5545

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


(termFormat EnglishLanguage Sleeve "sleeve") domainEnglishFormat.kif 9321-9321

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


(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 5548-5556
(=>
    (instance ?S Sleeve)
    (exists (?C)
        (and
            (part ?S ?C)
            (or
                (instance ?C Shirt)
                (instance ?C Coat)))))
Mid-level-ontology.kif 5558-5565


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners