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.

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

ireflexivní relace
is instance of

tranzitivní relace
is instance of

superficial part

Superrelation(s)

partly located

located

part

superficial part

Subrelation(s)

surface bottom top side

Související termín(y)

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.

Axiomy (8)

Jestliže obj1 je a minimální částí obj2, potom obj1 není a interior part of obj2 a neexistuje obj3 tak, že obj3 je a interior part of obj1.

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

jestliže obj1 je povrchem obj2,
potom pro všechny obj3 platí: jestliže obj3 je a minimální částí obj2, potom obj3 je částí obj1

(=>
      (surface ?OBJ1 ?OBJ2)
      (forall
            (?OBJ3)
            (=>
                  (superficialPart ?OBJ3 ?OBJ2)
                  (part ?OBJ3 ?OBJ1))))

jestliže obj1 je a interior part of obj2,
potom pro všechny part platí: jestliže part je a minimální částí obj2, potom obj1 se nepřekrývá s part

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

Jestliže obj1 se rovná "skin fn(hole)", potom pro všechny obj2 platí: obj2 se překrývá s obj1 tehdy a jen tehdy pokud existuje obj3 tak, že obj3 je a minimální částí "principal host fn(hole)" a hole se dotýká obj3 a obj2 se překrývá s obj3.

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

Jestliže alt je instancí třídy změna povrchu a obj je účastníkem alt, potom existují part,property tak, že part je a minimální částí obj a property je atributem part právě před doba existence alt a property není atributem part právě po doba existence 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))))))

Jestliže cover je instancí třídy pokožka, potom existuje body tak, že cover je a minimální částí body a body je instancí třídy organismus nebo body je instancí třídy část těla.

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

jestliže monochromatic je atributem obj a part je a minimální částí obj a color je atributem part a color je instancí třídy základní barva,
potom pro všechny element platí: jestliže element je a minimální částí obj, potom color je atributem element

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

Jestliže polychromatic je atributem obj, potom existují part1,part2,atribut barvy color1,atribut barvy color2 tak, že part1 je a minimální částí obj a part2 je a minimální částí obj a color1 je atributem part1 a color2 je atributem part2 a color1 se nerovná 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)))))