| Roughening | |
| appearance as argument number 1 |
|
|
| (documentation Roughening EnglishLanguage "Roughening is a type of SurfaceChange to make something Rough.") | Mid-level-ontology.kif 25520-25521 | |
| (subclass Roughening SurfaceChange) | Mid-level-ontology.kif 25519-25519 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Roughening "roughening") | Mid-level-ontology.kif 25522-25522 |
| 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 25524-25533 |
|
|
|