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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sewing
Sewing(sewing)
cast_off, hem, run_up, sew, sew_together, stitch

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


(documentation Sewing EnglishLanguage "Attaching two pieces of Fabric or one part of a piece of Fabric to another part by means of needle and thread.") Mid-level-ontology.kif 6158-6159
(externalImage Sewing "http://upload.wikimedia.org/wikipedia/en/6/61/Sewing_01.jpg") pictureList.kif 1978-1978
(subclass Sewing Attaching) Mid-level-ontology.kif 6157-6157 Sewing is a subclass of attaching

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


(termFormat ChineseLanguage Sewing "针线活") domainEnglishFormat.kif 52416-52416
(termFormat ChineseTraditionalLanguage Sewing "針線活") domainEnglishFormat.kif 52415-52415
(termFormat EnglishLanguage Sewing "sewing") domainEnglishFormat.kif 52414-52414

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


(=>
    (instance ?S Sewing)
    (capability Clothing patient ?S))
Mid-level-ontology.kif 6172-6174
(=>
    (instance ?S Sewing)
    (capability Fabric patient ?S))
Mid-level-ontology.kif 6168-6170
(=>
    (instance ?S Sewing)
    (exists (?F)
        (and
            (instance ?F Fabric)
            (patient ?S ?F))))
Mid-level-ontology.kif 6161-6166

consequent
-------------------------


(=>
    (attribute ?PERSON Tailor)
    (hasSkill Sewing ?PERSON))
Biography.kif 657-659


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