SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > ShapeProperty
Next Attribute: SoundProperty    Up: Attribute    Previous Attribute: SaturationProperty   

ShapeProperty comparison table
Subject documentation have axiom have contraryProperty
FillableSomething is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled
(=>
      (holdsDuring ?TIME
           (fills ?OBJ ?HOLE))
      (attribute ?HOLE Fillable))
 
PliableThe shape of an Object with this Attribute can be altered
(=>
    (and
       (instance ?PROC ShapeAlteration)
       (patient ?PROC ?OBJ))
    (attribute ?OBJ Pliable))
 
RigidThe shape of an Object with this Attribute cannot be easily altered
(=>
    (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)))))))
Pliable

Next Attribute: SoundProperty    Up: Attribute    Previous Attribute: SaturationProperty