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

penetrates (penetrates)

(penetrates obj1 obj2) means that obj1 is connected to obj2 along at least one whole dimension (length, width or depth).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

asymmetric relation
is instance of

is instance of

intransitive relation
is instance of

is instance of

is instance of

Superrelation(s)

is subrelation of

is subrelation of

meets spatially
is subrelation of

is subrelation of

is subrelation of

Coordinate term(s)

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

Axioms (1)

If obj1 traverses obj2, then obj1 crosses obj2 or obj1 penetrates obj2.

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