Roughening
|
|
appearance as argument number 1 |
(documentation Roughening EnglishLanguage "Roughening is a type of SurfaceChange to make something Rough.") | Mid-level-ontology.kif 25232-25233 | |
(subclass Roughening SurfaceChange) | Mid-level-ontology.kif 25231-25231 | Roughening is a subclass of surface change |
appearance as argument number 2 |
(termFormat EnglishLanguage Roughening "roughening") | Mid-level-ontology.kif 25234-25234 |
antecedent |
(=> (and (instance ?P Roughening) (patient ?P ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?PART Rough))))) |
Mid-level-ontology.kif 25236-25245 |
|