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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wicker

Sigma KEE - Wicker
Wicker

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


(documentation Wicker EnglishLanguage "A Wicker is a kind of Pliable materials used for Wickering. Traditionally, wicker is made of Plant based substance such as willow, rattan, reed or bamboo, but SyntheticWicker such as resin or plastic is also available nowadays.") Mid-level-ontology.kif 4582-4583
(partition Wicker PlantWicker SyntheticWicker) Mid-level-ontology.kif 4585-4585 Wicker est compl�tement d�compos� en PlantWicker + SyntheticWicker
(roomTempState Wicker Solid) Mid-level-ontology.kif 31435-31435 roomTempState Wicker and Solid
(subclass Wicker Substance) Mid-level-ontology.kif 4584-4584 Wicker est une sous-classe de substance

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


(subclass PlantWicker Wicker) Mid-level-ontology.kif 4592-4592 PlantWicker est une sous-classe de Wicker
(subclass SyntheticWicker Wicker) Mid-level-ontology.kif 4595-4595 SyntheticWicker est une sous-classe de Wicker
(termFormat ChineseLanguage Wicker "条编材料") domainEnglishFormat.kif 64374-64374
(termFormat ChineseTraditionalLanguage Wicker "條編材料") domainEnglishFormat.kif 64375-64375
(termFormat EnglishLanguage Wicker "wicker") domainEnglishFormat.kif 64373-64373

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


(=>
    (instance ?W Wicker)
    (attribute ?W Pliable))
Mid-level-ontology.kif 4587-4589

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


(=>
    (instance ?B Basket)
    (material Wicker ?B))
Mid-level-ontology.kif 4495-4497
(=>
    (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


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