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)

RelazioneNonRiflessiva
is instance of

RelazioneTransitiva
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)

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 superficie di obj2,
allora per ogni obj3 vale: se obj3 é una parte superficiale di obj2, allora obj3 é una parte di obj1

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

Se obj1 is uguale a "la superficie dell'apertura hole", allora per ogni obj2 vale: obj2 si sovrappones a obj1 se e solo se esiste obj3 tale che obj3 é una parte superficiale di " ció che entra nell'apertura hole" e hole incontras obj3 e obj2 si sovrappones a obj3.

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

Se alt é un' istanza di CambiamentoDiSuperficie e obj é un paziente di alt, allora esiste part,property tale che part é una parte superficiale di obj e "property is an attribute of part" vales durante "immediatamente prima di "il tempo di esistenza di alt"" e "property is not an attribute of part" vales durante "immediatamente dopo "il tempo di esistenza di 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))))))

Se cover é un' istanza di RivestimentoDiOrganismi, allora esiste body tale che cover é una parte superficiale di body e body é un' istanza di Organismo o body é un' istanza di ParteDelCorpo.

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

se monochromatic is an attribute of obj e part é una parte superficiale di obj e color is an attribute of part e color é un' istanza di ColorePirmario,
allora per ogni element vale: se element é una parte superficiale di obj, allora 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))))

Se polychromatic is an attribute of obj, allora esiste part1,part2,AttributoDiColore color1,AttributoDiColore color2 tale che part1 é una parte superficiale di obj e part2 é una parte superficiale di obj e color1 is an attribute of part1 e color2 is an attribute of part2 e color1 is not uguale a 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)))))