Smooth |
appearance as argument number 1 |
(contraryAttribute Smooth Rough) | Merge.kif 17798-17798 | |
(documentation Smooth ChineseLanguage "拥有这个 Attribute Object 的表面是平滑的。") | chinese_format.kif 3966-3966 | |
(documentation Smooth EnglishLanguage "An Object with this Attribute has a smooth surface.") | Merge.kif 17794-17795 | |
(instance Smooth TextureAttribute) | Merge.kif 17793-17793 |
appearance as argument number 2 |
(termFormat ChineseLanguage Smooth "平滑") | domainEnglishFormat.kif 53534-53534 | |
(termFormat ChineseTraditionalLanguage Smooth "平滑") | domainEnglishFormat.kif 53533-53533 | |
(termFormat EnglishLanguage Smooth "smooth") | domainEnglishFormat.kif 53532-53532 |
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 25219-25228 |