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.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

asaamanjasyapUrNa sambandha

surface

Superrelation(s)

partly located

located

part

superficial part

surface

Coordinate term(s)

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

Type restrictions

surface(aatmasambaddha vastu, aatmasambaddha vastu)

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.

Axioms (2)

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 attribute is an instance of sanrachanaa visheshataa aur attribute is an attribute of obj aur surface obj kaa satah hai, to attribute is an attribute of surface.

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