Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Basket
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Basket EnglishLanguage "A Basket is a PorousContainer made from interwoven strips of Plialbe materials such asWicker. The manufacturing Process for making baskets is Wickering.") | Mid-level-ontology.kif 5097-5098 | |
| (subclass Basket PorousContainer) | Mid-level-ontology.kif 5099-5099 | Basket is a subclass of porous container |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Basket) (exists (?WARP ?WEFT) (and (part ?WARP ?B) (part ?WEFT ?B) (traverses ?WARP ?WEFT) (not (equal ?WARP ?WEFT))))) |
Mid-level-ontology.kif 5101-5109 | If X is an instance of basket, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y traverses Z, equal Y, and Z |
| (=> (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 ?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 |
|