| Rough | |
| appearance as argument number 1 |
|
|
| (documentation Rough ChineseLanguage "拥有这个 Attribute Object 的表面是粗躁的。") | Merge.kif 18231-18231 | |
| (documentation Rough EnglishLanguage "An Object with this Attribute has a rough surface.") | Merge.kif 18229-18230 | |
| (instance Rough TextureAttribute) | Merge.kif 18227-18227 | instance Rough and TextureAttribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Smooth Rough) | Merge.kif 18228-18228 | contraryAttribute Smooth and Rough |
| (termFormat EnglishLanguage Rough "rough") | domainEnglishFormat.kif 8843-8843 | termFormat EnglishLanguage, Rough and "rough" |
| consequent |
|
|
| (=> (and (instance ?P Roughening) (patient ?P ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?PART Rough))))) |
Mid-level-ontology.kif 23126-23135 |
|
|
|