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

traverses comparison table
Subject documentation have axiom
unparented  
traverses(traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses
(=>
    (traverses ?OBJ1 ?OBJ2)
    (or
       (crosses ?OBJ1 ?OBJ2)
       (penetrates ?OBJ1 ?OBJ2)))

Next unparented: true    Up: unparented    Previous unparented: synonymousInternalConcept