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 25216-25217
(subclass Smoothing SurfaceChange) Mid-level-ontology.kif 25215-25215 Smoothing est une sous-classe de changement de surface

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


(subclass Ironing Smoothing) Mid-level-ontology.kif 25247-25247 Ironing est une sous-classe de Smoothing
(termFormat EnglishLanguage Smoothing "smoothing") Mid-level-ontology.kif 25218-25218

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 25220-25229


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 3.0 is open source software produced by Articulate Software and its partners