Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Smoothing
Smoothing均らす, 均す, 押しならす, 押し均す, 押均す,

appearance as argument number 1
-------------------------


(documentation Smoothing EnglishLanguage "Smoothing is a type of SurfaceChange to make something Smooth") Mid-level-ontology.kif 23075-23076
(subclass Smoothing SurfaceChange) Mid-level-ontology.kif 23074-23074

appearance as argument number 2
-------------------------


(subclass Ironing Smoothing) Mid-level-ontology.kif 23106-23106
(termFormat EnglishLanguage Smoothing "smoothing") Mid-level-ontology.kif 23077-23077

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 23079-23088


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners