SUMO View all facts Glossary Help |
unparented > overlapsSpatially |
overlapsSpatially | ||||
subject | fact |
overlapsSpatially | documentation (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 | |
has axiom (<=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> |
Next unparented: partition Up: unparented Previous unparented: overlapsPartially