(traverses obj1 obj2) means that obj1
crosses or extends across obj2. Note that crosses and
penetrates are subrelations of traverses.
SUMO / BASE-ONTOLOGY
mereological difference fn
mereological product fn
mereological sum fn
principal host fn
Se obj1 attraversa obj2, allora obj1 incrocia obj2 o obj1 penetra obj2.
(traverses ?OBJ1 ?OBJ2)
(crosses ?OBJ1 ?OBJ2)
(penetrates ?OBJ1 ?OBJ2)))