| 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 4481-4482 | |
| (subclass Basket PorousContainer) | Mid-level-ontology.kif 4483-4483 | Basket is a subclass of porous container |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Basket "筐，篮") | domainEnglishFormat.kif 64400-64400 | |
| (termFormat ChineseTraditionalLanguage Basket "筐，籃") | domainEnglishFormat.kif 64401-64401 | |
| (termFormat EnglishLanguage Basket "basket") | domainEnglishFormat.kif 64399-64399 |
| antecedent |
|
|
| (=> (instance ?B Basket) (exists (?W) (and (instance ?W Wickering) (result ?W ?B)))) |
Mid-level-ontology.kif 4499-4504 |
|
| (=> (instance ?B Basket) (exists (?WARP ?WEFT) (and (part ?WARP ?B) (part ?WEFT ?B) (traverses ?WARP ?WEFT) (not (equal ?WARP ?WEFT))))) |
Mid-level-ontology.kif 4485-4493 |
|
| (=> (instance ?B Basket) (material Wicker ?B)) |
Mid-level-ontology.kif 4495-4497 |
|
|
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