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 4617-4618
(subclass Weaving Making)	Mid-level-ontology.kif 4619-4619	Weaving is a subclass of making

appearance as argument number 2

(subclass Wickering Weaving)	Mid-level-ontology.kif 4600-4600	Wickering is a subclass of weaving
(termFormat ChineseLanguage Weaving "织")	domainEnglishFormat.kif 64428-64428	Wickering is a subclass of weaving
(termFormat ChineseTraditionalLanguage Weaving "織")	domainEnglishFormat.kif 64429-64429	Wickering is a subclass of weaving
(termFormat EnglishLanguage Weaving "weaving")	domainEnglishFormat.kif 64427-64427	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 4621-4635

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: