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

Fillable
subjectfact 
Fillabledocumentation Something is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled2001-11-30 13:34:16.0
has axiom 
(<=> 
 	(attribute ?HOLE1 Fillable)
        	(exists (?HOLE2)
         	(and 
 			(instance ?HOLE2 Hole)
                   (part ?HOLE1 ?HOLE2))))
2001-11-30 13:34:16.0
has axiom 
(=> 
 	(and 
 		(fills ?OBJ1 ?HOLE)
            	(attribute ?OBJ2 Fillable))
       (not 
 		(overlapsSpatially ?OBJ1 ?OBJ2)))
2001-11-30 13:34:16.0
has axiom 
(=>
      (holdsDuring ?TIME
           (fills ?OBJ ?HOLE))
      (attribute ?HOLE Fillable))
2001-11-30 13:34:16.0
is an instance of ShapeProperty2001-11-30 13:34:16.0
Attributeis disjoint from Quantity2001-11-30 13:33:40.0
is first domain of contraryProperty2001-11-30 13:33:40.0
is first domain of ExtensionFn2001-11-30 13:33:40.0
is first domain of subAttribute2001-11-30 13:33:40.0
is first domain of successorAttribute2001-11-30 13:33:40.0
is first domain of successorAttributeClosure2001-11-30 13:33:40.0
is second domain of attribute2001-11-30 13:33:40.0
is second domain of contraryProperty2001-11-30 13:33:40.0
is second domain of manner2001-11-30 13:33:40.0
is second domain of property2001-11-30 13:33:40.0
is second domain of subAttribute2001-11-30 13:33:40.0
is second domain of successorAttribute2001-11-30 13:33:40.0
is second domain of successorAttributeClosure2001-11-30 13:33:40.0

Next ShapeProperty: Pliable    Up: ShapeProperty    Previous ShapeProperty: Rigid