Wicker - Sigma Knowledge base Browser

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 5051-5052
(partition Wicker PlantWicker SyntheticWicker)	Mid-level-ontology.kif 5054-5054	Wicker is exhaustively partitioned into plant wicker and synthetic wicker
(roomTempState Wicker Solid)	Mid-level-ontology.kif 33107-33107	room temperature state wicker and solid
(subclass Wicker Substance)	Mid-level-ontology.kif 5053-5053	Wicker is a subclass of substance

appearance as argument number 2

(subclass PlantWicker Wicker)	Mid-level-ontology.kif 5061-5061	Plant wicker is a subclass of wicker
(subclass SyntheticWicker Wicker)	Mid-level-ontology.kif 5064-5064	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 5056-5058

If an object is an instance of wicker,
then pliable is an attribute of the object

consequent

(=> (instance ?B Basket) (material Wicker ?B))	Mid-level-ontology.kif 4964-4966	If a corpuscular object is an instance of basket, then the corpuscular object is made of wicker
(=> (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	If a physical is an instance of wickering, then the physical has the purpose there exist the physicalICK, another entity,, , the physicalARP and the physicalEFT such that the physicalICK is an instance of wicker and the physicalICK is a patient of the physical and the physicalARP is a part of the physicalICK and the physicalEFT is a part of the physicalICK and the physicalARP traverses the physicalEFT and the physicalARP is not equal to the physicalEFT and the other entity is a result of the physical and the other entity is an instance of artifact

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