fillable (Fillable)

Something is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

shape attribute

fillable

Coordinate term(s)

pliable rigid

Axioms (4)

If there exists time so that obj fills hole during time, then fillable is an attribute of hole.

(=>
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (fills ?OBJ ?HOLE)))
      (attribute ?HOLE Fillable))

fillable is an attribute of hole1 if and only if there exists hole hole2 so that hole1 is a part of hole2.

(<=>
      (attribute ?HOLE1 Fillable)
      (exists
            (?HOLE2)
            (and
                  (instance ?HOLE2 Hole)
                  (part ?HOLE1 ?HOLE2))))

fills is internally related to fillable.

(relatedInternalConcept fills Fillable)

If obj1 fills hole and fillable is an attribute of obj2, then obj1 doesn't overlap with obj2.

(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (attribute ?OBJ2 Fillable))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))