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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShapeChange
ShapeChange(shape change)abrade, abrase, acuminate, arc, arch, arrange, bead, beaten, bend, bending, bevel, bloat, block, blow, blow_up, blunt, bob, boss, brecciate, buckle, butterfly, calender, cave, cavern, cavern_out, chamfer, change_form, change_shape, chase, chisel, cockle, cog, coif, coiffe, coiffure, coil, comb, cone, conglobate, conglobe, constellate, contort, contortion, convolute, convolve, convulse, core_out, corrade, corrugate, cranch...

VerbNet: crane-40.3.2|arch, crane-40.3.2|arch, build-26.1|arrange, substance_emission-43.4|bead, bend-45.2|flex, build-26.1|blow, other_cos-45.4|dull, braid-41.2.2|bob, image_impression-25.1|emboss, build-26.1|chisel, tingle-40.8.2|pucker, build-26.1|arrange, build-26.1|arrange, build-26.1|arrange, coil-9.6|coil, braid-41.2.2|comb, fill-9.8|dot, clear-10.3|hollow, carve-21.2|grind, braid-41.2.2|crimp, carve-21.2|grind, carve-21.2|scrunch, carve-21.2|scrunch, carve-21.2|scrunch, crane-40.3.2|crook, carve-21.2|grind, bump-18.4|squash, coil-9.6|coil, groom-41.1.2|groom, crane-40.3.2|arch, other_cos-45.4|deflate, carve-21.2|dent, build-26.1|arrange, fill-9.8|dot, groom-41.1.2|groom, other_cos-45.4|dull, image_impression-25.1|emboss, carve-21.2|flake, carve-21.2|flatten, bend-45.2|flex, knead-26.5|fold, knead-26.5|fold, carve-21.2|gouge, build-26.1|hammer, reflexive_appearance-48.1.2|form, braid-41.2.2|crimp, braid-41.2.2|crimp, crane-40.3.2|wrinkle, carve-21.2|gouge, other_cos-45.4|granulate, ...


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


(documentation ShapeChange ChineseLanguage "这是在变 Object 形状的 Process。") Merge.kif 16940-16940
(documentation ShapeChange EnglishLanguage "The Process of changing the shape of an Object.") Merge.kif 16938-16939
(subclass ShapeChange InternalChange) Merge.kif 16937-16937 Shape change is a subclass of internal change

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


(subclass Folding ShapeChange) Mid-level-ontology.kif 3706-3706 Folding is a subclass of shape change
(termFormat ChineseLanguage ShapeChange "形状变化") chinese_format.kif 1175-1175 "形状变化" is the printable form of shape change in ChineseLanguage
(termFormat EnglishLanguage ShapeChange "shape change") english_format.kif 2234-2234 "shape change" is the printable form of shape change in english language
(termFormat JapaneseLanguage ShapeChange "形状変化") english_format.kif 2235-2235 "形状変化" is the printable form of shape change in japanese language

antecedent
-------------------------


(=>
    (and
        (instance ?ALT ShapeChange)
        (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
        (and
            (instance ?PROPERTY ShapeAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY)))))))
Merge.kif 16942-16955

consequent
-------------------------


(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))
Merge.kif 22566-22573
(=>
    (instance ?L Lathe)
    (hasPurpose ?L
        (exists (?PROC ?OBJ)
            (and
                (instrument ?PROC ?L)
                (patient ?PROC ?OBJ)
                (or
                    (instance ?PROC ShapeChange)
                    (instance ?PROC SurfaceChange))))))
Economy.kif 4873-4882
(=>
    (instance ?X Sculpting)
    (exists (?SC ?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?X ?OBJ)
            (instance ?SC ShapeChange)
            (subProcess ?SC ?X)
            (patient ?SC ?OBJ))))
Mid-level-ontology.kif 3818-3826


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