| 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 4950-4951 | |
| (subclass Basket PorousContainer) | Mid-level-ontology.kif 4952-4952 | Basket is a subclass of porous container |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Basket "筐，篮") | domainEnglishFormat.kif 64375-64375 | |
| (termFormat ChineseTraditionalLanguage Basket "筐，籃") | domainEnglishFormat.kif 64376-64376 | |
| (termFormat EnglishLanguage Basket "basket") | domainEnglishFormat.kif 64374-64374 |
| antecedent |
|
|
| (=> (instance ?B Basket) (exists (?W) (and (instance ?W Wickering) (result ?W ?B)))) |
Mid-level-ontology.kif 4968-4973 |
|
| (=> (instance ?B Basket) (exists (?WARP ?WEFT) (and (part ?WARP ?B) (part ?WEFT ?B) (traverses ?WARP ?WEFT) (not (equal ?WARP ?WEFT))))) |
Mid-level-ontology.kif 4954-4962 |
|
| (=> (instance ?B Basket) (material Wicker ?B)) |
Mid-level-ontology.kif 4964-4966 |
|
|
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