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

Fillable 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)))))))
FillableShapePropertySomething 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))

Next ShapeProperty: Pliable    Up: ShapeProperty    Previous ShapeProperty: Rigid