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

crosses (crosses)

(crosses obj1 obj2) means that Object obj1 traverses Object obj2, without being connected to it.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

RelazioneAsimmetrica
is instance of

is instance of

RelazioneTransitiva
is instance of

is instance of

is instance of

crosses

Superrelation(s)

is subrelation of

crosses

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn attribute authors before causes causes subclass citizen closed on completely fills contains information date developmental form documentation duration during earlier editor element equivalence relation on exploits expressed in language fills finishes frequency graph part greater than has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest inhabits interior part irreflexive on larger less than manner measure meets temporally member modal attribute parent partial ordering on partially fills path length penetrates possesses precondition proper part properly fills publishes range range subclass realization reflexive on smaller starts sub collection sub graph sub organizations sub plan sub proposition successor attribute successor attribute closure superficial part surface temporal part time total ordering on trichotomizing on uses valence version

Axioms (2)

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

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

crosses e connected sono disgiunti.

(disjointRelation crosses connected)