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)

anaatmavaachaka sambandha
is instance of

sakarmaka sambandha
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)

Agar obj1 is a superficial part of obj2, to obj1 is not a interior part of obj2 aur yah kuch obj3 nahin, ki obj3 is a interior part of obj1.

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

agar obj1 is a interior part of obj2,
to sab-kuch part ke lie hai, ki: agar part is a superficial part of obj2, to obj1 doesn't overlap with part

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