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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wickering
Wickering(wickering)

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


(documentation Wickering EnglishLanguage "Wickering is a way of Making Furniture or Artifacts such as Baskets. It is the oldest furniture making method, dating as far back as 5,000 years ago.") Mid-level-ontology.kif 5067-5068
(subclass Wickering Weaving) Mid-level-ontology.kif 5069-5069 Wickering is a subclass of weaving

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


(termFormat ChineseLanguage Wickering "条编") domainEnglishFormat.kif 64399-64399
(termFormat ChineseTraditionalLanguage Wickering "條編") domainEnglishFormat.kif 64400-64400
(termFormat EnglishLanguage Wickering "wickering") domainEnglishFormat.kif 64398-64398

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


(=>
    (instance ?W Wickering)
    (hasPurpose ?W
        (exists (?WICK ?OBJ ?WARP ?WEFT)
            (and
                (instance ?WICK Wicker)
                (patient ?W ?WICK)
                (part ?WARP ?WICK)
                (part ?WEFT ?WICK)
                (traverses ?WARP ?WEFT)
                (not
                    (equal ?WARP ?WEFT))
                (result ?W ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 5071-5084

consequent
-------------------------


(=>
    (instance ?B Basket)
    (exists (?W)
        (and
            (instance ?W Wickering)
            (result ?W ?B))))
Mid-level-ontology.kif 4968-4973


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