| Smooth(smooth) | | ironed, smooth, smoothed, smoothened |
| appearance as argument number 1 |
|
|
| (contraryAttribute Smooth Rough) | Merge.kif 17880-17880 | Smooth is the opposite of rough |
| (documentation Smooth ChineseLanguage "拥有这个 Attribute Object 的表面是平滑的。") | chinese_format.kif 3966-3966 | Smooth is the opposite of rough |
| (documentation Smooth EnglishLanguage "An Object with this Attribute has a smooth surface.") | Merge.kif 17876-17877 | Smooth is the opposite of rough |
| (instance Smooth TextureAttribute) | Merge.kif 17875-17875 | Smooth is an instance of texture attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Smooth "平滑") | domainEnglishFormat.kif 53567-53567 | |
| (termFormat ChineseTraditionalLanguage Smooth "平滑") | domainEnglishFormat.kif 53566-53566 | |
| (termFormat EnglishLanguage Smooth "smooth") | domainEnglishFormat.kif 53565-53565 |
| consequent |
|
|
| (=> (and (instance ?SMOOTH Smoothing) (patient ?SMOOTH ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?SMOOTH)) (attribute ?PART Smooth))))) |
Mid-level-ontology.kif 26339-26348 |
|
|
|
|