superficial part (superficialPart)

(superficialPart obj1 obj2) means that obj1 is a part of obj2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of obj2 that are externally connected with the mereological complement of obj2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

anaatmavaachaka sambandha
is instance of

sakarmaka sambandha
is instance of

superficial part

Superrelation(s)

partly located

located

part

superficial part

Subrelation(s)

surface bottom top side

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 interior part 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 version

Related WordNet synsets

edge, border: the boundary of a surface

See more related synsets on a separate page.

Axioms (8)

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 obj2 kaa satah hai,
to sab-kuch obj3 ke lie hai, ki: agar obj3 is a superficial part of obj2, to obj3 is a part of obj1

(=>
      (surface ?OBJ1 ?OBJ2)
      (forall
            (?OBJ3)
            (=>
                  (superficialPart ?OBJ3 ?OBJ2)
                  (part ?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)))))

Agar obj1 is equal to "the surface of the hole hole", to sab-kuch obj2 ke lie hai, ki: obj2 overlaps with obj1 agar hai yah kuch obj3 nahin, ki obj3 is a superficial part of "the host of the hole hole" aur hole meets obj3 aur obj2 overlaps with obj3.

(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))

Agar alt is an instance of sataha parivartana aur obj is a patient of alt, to yah kuch part,property nahin, ki part is a superficial part of obj aur property is an attribute of part immediately before "the time of existence of alt" aur property is not an attribute of part immediately after "the time of existence of alt".

(=>
      (and
            (instance ?ALT SurfaceChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PART ?PROPERTY)
            (and
                  (superficialPart ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?ALT))
                        (not
                              (attribute ?PART ?PROPERTY))))))

Agar cover is an instance of sharIra aavaraNa, to yah kuch body nahin, ki cover is a superficial part of body aur body is an instance of jIvadhaarI padaartha yaa body is an instance of shaarIrika bhaaga.

(=>
      (instance ?COVER BodyCovering)
      (exists
            (?BODY)
            (and
                  (superficialPart ?COVER ?BODY)
                  (or
                        (instance ?BODY Organism)
                        (instance ?BODY BodyPart)))))

agar monochromatic is an attribute of obj aur part is a superficial part of obj aur color is an attribute of part aur color is an instance of praathamika varNa,
to sab-kuch element ke lie hai, ki: agar element is a superficial part of obj, to color is an attribute of element

(=>
      (and
            (attribute ?OBJ Monochromatic)
            (superficialPart ?PART ?OBJ)
            (attribute ?PART ?COLOR)
            (instance ?COLOR PrimaryColor))
      (forall
            (?ELEMENT)
            (=>
                  (superficialPart ?ELEMENT ?OBJ)
                  (attribute ?ELEMENT ?COLOR))))

Agar polychromatic is an attribute of obj, to yah kuch part1,part2,varNa visheshataa color1,varNa visheshataa color2 nahin, ki part1 is a superficial part of obj aur part2 is a superficial part of obj aur color1 is an attribute of part1 aur color2 is an attribute of part2 aur color1 is not equal to color2.

(=>
      (attribute ?OBJ Polychromatic)
      (exists
            (?PART1 ?PART2 ?COLOR1 ?COLOR2)
            (and
                  (superficialPart ?PART1 ?OBJ)
                  (superficialPart ?PART2 ?OBJ)
                  (attribute ?PART1 ?COLOR1)
                  (attribute ?PART2 ?COLOR2)
                  (instance ?COLOR1 ColorAttribute)
                  (instance ?COLOR2 ColorAttribute)
                  (not
                        (equal ?COLOR1 ?COLOR2)))))