Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 5198-5199 | |
| (subclass Wicker Substance) | Mid-level-ontology.kif 5200-5200 | Wicker is a subclass of substance |
| (partition Wicker PlantWicker SyntheticWicker) | Mid-level-ontology.kif 5201-5201 | Wicker is exhaustively partitioned into plant wicker and synthetic wicker |
| (roomTempState Wicker Solid) | Mid-level-ontology.kif 33908-33908 | room temperature state wicker and solid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?W Wicker) (attribute ?W Pliable)) |
Mid-level-ontology.kif 5203-5205 | If X is an instance of wicker, then pliable is an attribute of X |
| consequent |
|
|
| (=> (instance ?B Basket) (material Wicker ?B)) |
Mid-level-ontology.kif 5111-5113 | If X is an instance of basket, then X 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 5218-5231 | If X is an instance of wickering, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of wicker (3) Y is a patient of X (4) W is a part of Y (5) V is a part of Y (6) W traverses V (7) equal W (8) V (9) Z is a result of X (10) Z is an instance of artifact |
|