Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Smoothing(smoothing) |  | launch, smooth, smoothen |
| appearance as argument number 1 |
|
|
| (subclass Smoothing SurfaceChange) | Mid-level-ontology.kif 27535-27535 | Smoothing is a subclass of surface change |
| (documentation Smoothing EnglishLanguage "Smoothing is a type of SurfaceChange to make something Smooth") | Mid-level-ontology.kif 27536-27537 | Smoothing is a subclass of surface change |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Smoothing "smoothing") | Mid-level-ontology.kif 27538-27538 | |
| (subclass Ironing Smoothing) | Mid-level-ontology.kif 27567-27567 | Ironing is a subclass of 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 27540-27549 | If X is an instance of smoothing and Y is a patient of X, then there exists Z such that Z is a superficial part of Y and smooth is an attribute of Z holds during the end of the time of existence of X |
|