Weaving - Sigma Knowledge base Browser

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 4690-4691
(subclass Weaving Making)	Mid-level-ontology.kif 4692-4692	Weaving is a subclass of making

appearance as argument number 2

(subclass Wickering Weaving)	Mid-level-ontology.kif 4673-4673	Wickering is a subclass of weaving
(termFormat ChineseLanguage Weaving "织")	domainEnglishFormat.kif 64403-64403	Wickering is a subclass of weaving
(termFormat ChineseTraditionalLanguage Weaving "織")	domainEnglishFormat.kif 64404-64404	Wickering is a subclass of weaving
(termFormat EnglishLanguage Weaving "weaving")	domainEnglishFormat.kif 64402-64402	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 4694-4708

If a physical is an instance of weaving,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and pliable is an attribute of the entity and the entity is a patient of the physical and the other entity is a part of the entity and the third entity is a part of the entity and the other entity is not equal to the third entity and the other entity is right angle to the third entity and the fourth entity is a result of the physical and the fourth entity is an instance of artifact

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

KB Term:			Term intersection

English Word: