SUMO View all facts Glossary Help |
unparented > overlapsSpatially |
overlapsSpatially comparison table |
Subject | documentation | have axiom |
---|---|---|
unparented | ||
overlapsSpatially | (overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation | (=> |
Next unparented: partition Up: unparented Previous unparented: overlapsPartially