SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > ShapeProperty > Pliable
Next ShapeProperty: Rigid    Up: ShapeProperty    Previous ShapeProperty: Fillable   

Pliable comparison table
Subject is an instance of documentation is a kind of have axiom
ShapeProperty Any Attribute that characterizes the shape of an ObjectAttribute
(=>
    (and
       (instance ?ALT ShapeAlteration)
       (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
       (and
          (instance ?PROPERTY ShapeProperty)
          (or
             (and
                (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY))
                (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))))
             (and
                (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))
                (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))
PliableShapePropertyThe shape of an Object with this Attribute can be altered 
(=>
    (and
       (instance ?PROC ShapeAlteration)
       (patient ?PROC ?OBJ))
    (attribute ?OBJ Pliable))

Next ShapeProperty: Rigid    Up: ShapeProperty    Previous ShapeProperty: Fillable