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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 4617-4618
(subclass Weaving Making) Mid-level-ontology.kif 4619-4619 Weaving est une sous-classe de faire

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


(subclass Wickering Weaving) Mid-level-ontology.kif 4600-4600 Wickering est une sous-classe de Weaving
(termFormat ChineseLanguage Weaving "织") domainEnglishFormat.kif 64382-64382
(termFormat ChineseTraditionalLanguage Weaving "織") domainEnglishFormat.kif 64383-64383
(termFormat EnglishLanguage Weaving "weaving") domainEnglishFormat.kif 64381-64381

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


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