interior part (interiorPart)

(interiorPart obj1 obj2) means that obj1 is part obj2 and there is no overlap between obj1 and any superficialPart obj2.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

RelazioneNonRiflessiva
is instance of

RelazioneTransitiva
is instance of

interior part

Superrelation(s)

partly located

located

part

interior part

Coordinate term(s)

back fn front fn attribute before connected engineering components crosses decreases likelihood developmental form disjoint during earlier finishes graph part greater than in list increases likelihood inhibits larger less than manner meets spatially modal attribute overlaps partially path length precondition prevents proper part sibling smaller starts sub collection sub graph sub organizations sub plan sub proposition successor attribute closure superficial part version

Related WordNet synsets

inside, interior: the inner or enclosed surface of something
inside, interior: the region that is inside of something

Axioms (2)

Se obj1 é una parte superficiale di obj2, allora obj1 é not una parte interiore di obj2 e non esiste obj3 tale che obj3 é una parte interiore di obj1.

(=>
      (superficialPart ?OBJ1 ?OBJ2)
      (and
            (not
                  (interiorPart ?OBJ1 ?OBJ2))
            (not
                  (exists
                        (?OBJ3)
                        (interiorPart ?OBJ3 ?OBJ1)))))

se obj1 é una parte interiore di obj2,
allora per ogni part vale: se part é una parte superficiale di obj2, allora obj1 non si sovrappone a part

(=>
      (interiorPart ?OBJ1 ?OBJ2)
      (forall
            (?PART)
            (=>
                  (superficialPart ?PART ?OBJ2)
                  (not
                        (overlapsSpatially ?OBJ1 ?PART)))))