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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wickering

Sigma KEE - 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 4598-4599
(subclass Wickering Weaving) Mid-level-ontology.kif 4600-4600

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


(termFormat ChineseLanguage Wickering "条编") domainEnglishFormat.kif 64378-64378
(termFormat ChineseTraditionalLanguage Wickering "條編") domainEnglishFormat.kif 64379-64379
(termFormat EnglishLanguage Wickering "wickering") domainEnglishFormat.kif 64377-64377

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 4602-4615

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


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


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 is open source software produced by Articulate Software and its partners