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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wicker
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 4655-4656
(partition Wicker PlantWicker SyntheticWicker) Mid-level-ontology.kif 4658-4658 Wicker is exhaustively partitioned into plant wicker and synthetic wicker
(roomTempState Wicker Solid) Mid-level-ontology.kif 32526-32526 roomTempState wicker and solid
(subclass Wicker Substance) Mid-level-ontology.kif 4657-4657 Wicker is a subclass of substance

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


(subclass PlantWicker Wicker) Mid-level-ontology.kif 4665-4665 Plant wicker is a subclass of wicker
(subclass SyntheticWicker Wicker) Mid-level-ontology.kif 4668-4668 Synthetic wicker is a subclass of wicker
(termFormat ChineseLanguage Wicker "条编材料") domainEnglishFormat.kif 64395-64395 Synthetic wicker is a subclass of wicker
(termFormat ChineseTraditionalLanguage Wicker "條編材料") domainEnglishFormat.kif 64396-64396 Synthetic wicker is a subclass of wicker
(termFormat EnglishLanguage Wicker "wicker") domainEnglishFormat.kif 64394-64394 Synthetic wicker is a subclass of wicker

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


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

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


(=>
    (instance ?B Basket)
    (material Wicker ?B))
Mid-level-ontology.kif 4568-4570
(=>
    (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 4675-4688


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