SUMO View all facts Glossary Help |
unparented > traverses |
traverses | ||||
subject | fact |
traverses | documentation (traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses | |
has axiom (=> |