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 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 IroningSmoothingsubclass では
(termFormat EnglishLanguage Smoothing "smoothing") Mid-level-ontology.kif 26882-26882 IroningSmoothingsubclass では

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


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