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

completelyFills comparison table
Subject documentation have axiom
unparented  
completelyFills(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)
(=> 
 	(partiallyFills ?OBJ ?HOLE1)
 	(exists (?HOLE2)
 		(and 
 			(part ?HOLE2 ?HOLE1)
 			(completelyFills ?OBJ ?HOLE2))))

Next unparented: component    Up: unparented    Previous unparented: AttributeFn