surface (surface)

(surface obj1 obj2) means that obj1 is a maximally connected superficialPart of obj2. Note that some SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

nesymetrická relace

surface

Superrelation(s)

partly located

located

part

superficial part

surface

Související termín(y)

back fn cardinality fn front fn principal host fn probability fn skin fn attribute authors causes causes subclass citizen closed on completely fills contains information crosses date developmental form documentation duration editor element equivalence relation on exploits expressed in language fills frequency graph part has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest inhabits irreflexive on manner measure meets temporally member modal attribute parent partial ordering on partially fills path length penetrates possesses precondition proper part properly fills publishes range range subclass realization reflexive on successor attribute temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

surface(spojitý objekt, spojitý objekt)

Related WordNet synsets

surface: the outer boundary of an object or a material layer constituting or resembling such a boundary; "there is a special cleaner for these surfaces"; "the cloth had a pattern of red dots on a white surface"
surface: the extended two-dimensional outer boundary of a three-dimensional object; "they skimmed over the surface of the water"; "a brush small enough to clean every dental surface"; "the sun has no distinct surface"

See more related synsets on a separate page.

Axiomy (2)

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 attribute je instancí třídy textura a attribute je atributem obj a surface je povrchem obj, potom attribute je atributem surface.

(=>
      (and
            (instance ?ATTRIBUTE TextureAttribute)
            (attribute ?OBJ ?ATTRIBUTE)
            (surface ?SURFACE ?OBJ))
      (attribute ?SURFACE ?ATTRIBUTE))