SUMO   View all facts   Glossary   Help
unparented > traverses
Next unparented: true    Up: unparented    Previous unparented: synonymousInternalConcept   

traverses
subjectfact 
traversesdocumentation (traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses2001-11-30 13:35:29.0
has axiom 
(=>
    (traverses ?OBJ1 ?OBJ2)
    (or
       (crosses ?OBJ1 ?OBJ2)
       (penetrates ?OBJ1 ?OBJ2)))
2001-11-30 13:35:29.0