Smoothing | ![]() |
appearance as argument number 1 |
![]() |
(documentation Smoothing EnglishLanguage "Smoothing is a type of SurfaceChange to make something Smooth") | Mid-level-ontology.kif 26880-26881 | |
(subclass Smoothing SurfaceChange) | Mid-level-ontology.kif 26879-26879 | Smoothing は 表面変化 の subclass では |
appearance as argument number 2 |
![]() |
(subclass Ironing Smoothing) | Mid-level-ontology.kif 26911-26911 | Ironing は Smoothing の subclass では |
(termFormat EnglishLanguage Smoothing "smoothing") | Mid-level-ontology.kif 26882-26882 | Ironing は Smoothing の subclass では |
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 26884-26893 |
![]() |
![]() |