SUMO View all facts Glossary Help |
unparented > completelyFills |
completelyFills | ||||
subject | fact |
completelyFills | documentation (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) | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> |