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 23106-23107
(subclass Smoothing SurfaceChange) Mid-level-ontology.kif 23105-23105 subclass Smoothing and 表面変化

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


(subclass Ironing Smoothing) Mid-level-ontology.kif 23137-23137 subclass Ironing and Smoothing
(termFormat EnglishLanguage Smoothing "smoothing") Mid-level-ontology.kif 23108-23108 termFormat EnglishLanguage, Smoothing and "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 23110-23119


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