SUMO   View all facts   Glossary   Help
unparented > completelyFills
Next unparented: component    Up: unparented    Previous unparented: AttributeFn   

completelyFills
subjectfact 
completelyFillsdocumentation (completelyFills ?OBJ ?HOLE) means that the Hole ?HOLE fills some part of the Object ?OBJ. Note that if (completelyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (completelyFills ?OBJ2 ?HOLE)2001-11-30 13:33:53.0
has axiom 
(=> 
    (completelyFills ?OBJ1 ?HOLE)
       (forall (?OBJ2)
    	   (=> 
 	      (connected ?OBJ2 ?HOLE)
             (connected ?OBJ2 ?OBJ1))))
2001-11-30 13:33:53.0
has axiom 
(=> 
 	(and 
 		(fills ?OBJ ?HOLE1)
             (properPart ?HOLE2 ?HOLE1))
      	(completelyFills ?OBJ ?HOLE2))
2001-11-30 13:33:53.0
has axiom 
(=> 
 	(completelyFills ?OBJ1 ?HOLE)
 	(exists (?OBJ2)
 		(and 
 			(part ?OBJ2 ?OBJ1)
 			(fills ?OBJ2 ?HOLE))))
2001-11-30 13:33:53.0
has axiom 
(=> 
 	(partiallyFills ?OBJ ?HOLE1)
 	(exists (?HOLE2)
 		(and 
 			(part ?HOLE2 ?HOLE1)
 			(completelyFills ?OBJ ?HOLE2))))
2001-11-30 13:33:53.0