SUMO View all facts Glossary Help |
unparented > completelyFills |
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) | (=> |
Next unparented: component Up: unparented Previous unparented: AttributeFn