Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Wickering
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Wickering EnglishLanguage "Wickering is a way of Making Furniture or Artifacts such as Baskets. It is the oldest furniture making method, dating as far back as 5,000 years ago.") | Mid-level-ontology.kif 5214-5215 | |
| (subclass Wickering Weaving) | Mid-level-ontology.kif 5216-5216 | Wickering is a subclass of weaving |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?B Basket) (exists (?W) (and (instance ?W Wickering) (result ?W ?B)))) |
Mid-level-ontology.kif 5115-5120 | If X is an instance of basket, then there exists Y such that Y is an instance of wickering and X is a result of Y |
|