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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sewing

Sigma KEE - Sewing
Sewing

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 5603-5604
(externalImage Sewing "http://upload.wikimedia.org/wikipedia/en/6/61/Sewing_01.jpg") pictureList.kif 1979-1979
(subclass Sewing Attaching) Mid-level-ontology.kif 5602-5602 Sewing取付けsubclass では %n

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


(termFormat ChineseLanguage Sewing "针线活") domainEnglishFormat.kif 52385-52385
(termFormat ChineseTraditionalLanguage Sewing "針線活") domainEnglishFormat.kif 52384-52384
(termFormat EnglishLanguage Sewing "sewing") domainEnglishFormat.kif 52383-52383

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


(=>
    (instance ?S Sewing)
    (capability Clothing patient ?S))
Mid-level-ontology.kif 5617-5619
(=>
    (instance ?S Sewing)
    (capability Fabric patient ?S))
Mid-level-ontology.kif 5613-5615
(=>
    (instance ?S Sewing)
    (exists (?F)
        (and
            (instance ?F Fabric)
            (patient ?S ?F))))
Mid-level-ontology.kif 5606-5611

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


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


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