| Smoothing | |
| appearance as argument number 1 |
|
|
| (documentation Smoothing EnglishLanguage "Smoothing is a type of SurfaceChange to make something Smooth") | Mid-level-ontology.kif 23106-23107 | |
| (subclass Smoothing SurfaceChange) | Mid-level-ontology.kif 23105-23105 | subclass Smoothing and 表面変化 |
| appearance as argument number 2 |
|
|
| (subclass Ironing Smoothing) | Mid-level-ontology.kif 23137-23137 | subclass Ironing and Smoothing |
| (termFormat EnglishLanguage Smoothing "smoothing") | Mid-level-ontology.kif 23108-23108 | termFormat EnglishLanguage, Smoothing and "smoothing" |
| antecedent |
|
|
| (=> (and (instance ?SMOOTH Smoothing) (patient ?SMOOTH ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?SMOOTH)) (attribute ?PART Smooth))))) |
Mid-level-ontology.kif 23110-23119 |
|
|
|