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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Weaving

Sigma KEE - Weaving
Weaving(weaving)

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


(documentation Weaving EnglishLanguage "Weaving is Process to interlace yarn or thread such as String or pilable materials such as wicker for Making Artifacts.") Mid-level-ontology.kif 4622-4623
(subclass Weaving Making) Mid-level-ontology.kif 4624-4624 Weaving is a subclass of making

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


(subclass Wickering Weaving) Mid-level-ontology.kif 4605-4605 Wickering is a subclass of weaving
(termFormat ChineseLanguage Weaving "织") domainEnglishFormat.kif 64380-64380
(termFormat ChineseTraditionalLanguage Weaving "織") domainEnglishFormat.kif 64381-64381
(termFormat EnglishLanguage Weaving "weaving") domainEnglishFormat.kif 64379-64379

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


(=>
    (instance ?WEAVE Weaving)
    (hasPurpose ?WEAVE
        (exists (?SUB ?WARP ?WEFT ?OBJ)
            (and
                (instance ?SUB Substance)
                (attribute ?SUB Pliable)
                (patient ?WEAVE ?SUB)
                (part ?WARP ?SUB)
                (part ?WEFT ?SUB)
                (not
                    (equal ?WARP ?WEFT))
                (orientation ?WARP ?WEFT RightAngle)
                (result ?WEAVE ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 4626-4640


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