Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

traverses (traverses)

(traverses obj1 obj2) means that obj1 crosses or extends across obj2. Note that crosses and penetrates are subrelations of traverses.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

RelazioneSpaziale

is instance of

traverses

Subrelation(s)

crosses penetrates

Coordinate term(s)

back fn front fn mereological difference fn mereological product fn mereological sum fn principal host fn skin fn where fn between connected connects distance hole larger orientation part partially fills partly located smaller

Type restrictions

traverses(Oggetto, Oggetto)

Axioms (1)

Se obj1 attraversa obj2, allora obj1 incrocia obj2 o obj1 penetra obj2.

(=>
      (traverses ?OBJ1 ?OBJ2)
      (or
            (crosses ?OBJ1 ?OBJ2)
            (penetrates ?OBJ1 ?OBJ2)))