antaraala (Hole)

A hole is an immaterial body located at the surface of an Object. Since every Hole is ontologically dependent on its host (i.e., the object in which it is a hole), being a Hole is defined as being a hole in something. Note that two Holes may occupy the same region, or part of the same region, without sharing any parts.

Ontology

SUMO / MEREOTOPOLOGY

Superclass(es)

astitva

bhOtika vaswu

object

kshetra

antaraala

Coordinate term(s)

khagoliya kshetra bhaigolika kshetra

Constrains relations

principal host fn skin fn fills hole partially fills properly fills

Related WordNet synsets

hole: an opening deliberately made in or through something
hole: an opening into or through something
hole: an unoccupied space

See more related synsets on a separate page.

Axioms (5)

hole is an instance of antaraala agar hai yah kuch obj nahin, ki hole obj men chidra hai.

(<=>
      (instance ?HOLE Hole)
      (exists
            (?OBJ)
            (hole ?HOLE ?OBJ)))

Agar hole obj men chidra hai, to obj is not an instance of antaraala.

(=>
      (hole ?HOLE ?OBJ)
      (not
            (instance ?OBJ Hole)))

Agar hole1 is an instance of antaraala, to yah kuch hole2 nahin, ki hole2 is a properPart of hole1.

(=>
      (instance ?HOLE1 Hole)
      (exists
            (?HOLE2)
            (properPart ?HOLE2 ?HOLE1)))

Agar hole1 is an instance of antaraala aur hole2 is a properPart of hole1, to yah kuch obj nahin, ki hole1 meets obj aur hole2 doesn't meet obj.

(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))

fillable is an attribute of hole1 agar hai yah kuch antaraala hole2 nahin, ki hole1 is a part of hole2.

(<=>
      (attribute ?HOLE1 Fillable)
      (exists
            (?HOLE2)
            (and
                  (instance ?HOLE2 Hole)
                  (part ?HOLE1 ?HOLE2))))