| 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 4587-4588 | |
| (partition Wicker PlantWicker SyntheticWicker) | Mid-level-ontology.kif 4590-4590 | 条编材料 详尽无遗地 partition 成 PlantWicker 和 SyntheticWicker |
| (roomTempState Wicker Solid) | Mid-level-ontology.kif 31403-31403 | roomTempState 条编材料 and 固体 |
| (subclass Wicker Substance) | Mid-level-ontology.kif 4589-4589 | 条编材料 是 物质 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass PlantWicker Wicker) | Mid-level-ontology.kif 4597-4597 | PlantWicker 是 条编材料 的 subclass |
| (subclass SyntheticWicker Wicker) | Mid-level-ontology.kif 4600-4600 | SyntheticWicker 是 条编材料 的 subclass |
| (termFormat ChineseLanguage Wicker "条编材料") | domainEnglishFormat.kif 64372-64372 | |
| (termFormat ChineseTraditionalLanguage Wicker "條編材料") | domainEnglishFormat.kif 64373-64373 | |
| (termFormat EnglishLanguage Wicker "wicker") | domainEnglishFormat.kif 64371-64371 |
| antecedent |
|
|
| (=> (instance ?W Wicker) (attribute ?W Pliable)) |
Mid-level-ontology.kif 4592-4594 |
| consequent |
|
|
| (=> (instance ?B Basket) (material Wicker ?B)) |
Mid-level-ontology.kif 4500-4502 | |
| (=> (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 4607-4620 |
|
|
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