| 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 は PorousContainer の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Basket "筐，篮") | domainEnglishFormat.kif 64354-64354 | |
| (termFormat ChineseTraditionalLanguage Basket "筐，籃") | domainEnglishFormat.kif 64355-64355 | |
| (termFormat EnglishLanguage Basket "basket") | domainEnglishFormat.kif 64353-64353 |
| 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