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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShapeChange
ShapeChange

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。") chinese_format.kif 3198-3198
(documentation ShapeChange EnglishLanguage "The Process of changing the shape of an Object.") Merge.kif 11605-11606
(subclass ShapeChange InternalChange) Merge.kif 11604-11604

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


(subclass Folding ShapeChange) Mid-level-ontology.kif 3702-3702
(termFormat ChineseLanguage ShapeChange "形状变化") chinese_format.kif 1175-1175
(termFormat EnglishLanguage ShapeChange "shape change") english_format.kif 1572-1572

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 11608-11621

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


(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))
Merge.kif 16402-16409
(=>
    (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 3814-3822


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