Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 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 5233-5234
(subclass Weaving Making) Mid-level-ontology.kif 5235-5235 Weaving is a subclass of making

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


(subclass Wickering Weaving) Mid-level-ontology.kif 5216-5216 Wickering is a subclass of weaving
(termFormat EnglishLanguage Weaving "weaving") domainEnglishFormat.kif 64382-64382 Wickering is a subclass of weaving
(termFormat ChineseLanguage Weaving "织") domainEnglishFormat.kif 64383-64383 Wickering is a subclass of weaving
(termFormat ChineseTraditionalLanguage Weaving "織") domainEnglishFormat.kif 64384-64384 Wickering is a subclass of weaving

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 5237-5251 If X is an instance of weaving, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) pliable is an attribute of Y (4) Y is a patient of X (5) Z is a part of Y (6) W is a part of Y (7) equal Z (8) W (9) Z is at a right angle to to W (10) V is a result of X (11) V is an instance of artifact


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