located (located)

A very general predicate. (located phys obj) means that phys is situated at obj, in some sense. The Predicates located and time are spatial and temporal predicates, respectively.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

aanshika anukrama sambandha

located

Superrelation(s)

partly located

located

Subrelation(s)

part exactly located partially fills

Coordinate term(s)

before or equal greater than or equal to less than or equal to part sub attribute sub list sub process subclass subrelation subsumes content class subsumes content instance

Type restrictions

located(bhOtika vaswu, object)

Related WordNet synsets

location: a point or extent in space
ubiety: the state of existing and being localized in space

See more related synsets on a separate page.

Axioms (23)

phys is an instance of bhOtika vaswu agar hai yah kuch loc,time nahin, ki phys is located at loc aur phys exists during time.

(<=>
      (instance ?PHYS Physical)
      (exists
            (?LOC ?TIME)
            (and
                  (located ?PHYS ?LOC)
                  (time ?PHYS ?TIME))))

Agar region is an instance of kshetra, to yah kuch phys nahin, ki phys is located at region.

(=>
      (instance ?REGION Region)
      (exists
            (?PHYS)
            (located ?PHYS ?REGION)))

abs is an instance of amUrta agar hai yah kuch point nahin, ki abs is located at point yaa abs exists during point.

(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))

located is internally related to time.

(relatedInternalConcept located time)

agar obj is located at region,
to sab-kuch subobj ke lie hai, ki: agar subobj is a part of obj, to subobj is located at region

(=>
      (located ?OBJ ?REGION)
      (forall
            (?SUBOBJ)
            (=>
                  (part ?SUBOBJ ?OBJ)
                  (located ?SUBOBJ ?REGION))))

Agar proc1 inhibits proc2, to sab-kuch time,place ke lie hai, ki: "yah kuch proc1 inst1 nahin, ki inst1 is located at place during time" decreases likelihood of "yah kuch proc2 inst2 nahin, ki inst2 is located at place during time".

(=>
      (inhibits ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (decreasesLikelihood
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST2)
                              (and
                                    (instance ?INST2 ?PROC2)
                                    (located ?INST2 ?PLACE)))))))

agar proc1 prevents the occurrence of proc2,
to sab-kuch time,place ke lie hai, ki: agar yah kuch proc1 inst1 nahin, ki inst1 is located at place during time, to yah kuch proc2 inst2 nahin, ki inst2 is located at place during time

(=>
      (prevents ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (=>
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (not
                        (holdsDuring
                              ?TIME
                              (exists
                                    (?INST2)
                                    (and
                                          (instance ?INST2 ?PROC2)
                                          (located ?INST2 ?PLACE))))))))

Agar process origins at obj, to "process ki jagah "the beginning of "the time of existence of process"" tha" is located at "obj ki jagah "the beginning of "the time of existence of obj"" tha".

(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))

agar subproc is a subprocess of proc,
to sab-kuch region ke lie hai, ki: agar proc is located at region, to subproc is located at region

(=>
      (subProcess ?SUBPROC ?PROC)
      (forall
            (?REGION)
            (=>
                  (located ?PROC ?REGION)
                  (located ?SUBPROC ?REGION))))

Agar proc is an instance of jEvika prakriyaa , to yah kuch jIvadhaarI padaartha obj nahin, ki proc is located at obj.

(=>
      (instance ?PROC BiologicalProcess)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ Organism)
                  (located ?PROC ?OBJ))))

Agar proc is an instance of anaga yaa Utaka prakriyaa, to yah kuch thing nahin, ki proc is located at thing aur thing is an instance of anga yaa thing is an instance of Utaka.

(=>
      (instance ?PROC OrganOrTissueProcess)
      (exists
            (?THING)
            (and
                  (located ?PROC ?THING)
                  (or
                        (instance ?THING Organ)
                        (instance ?THING Tissue)))))

Agar motion is an instance of gati aur obj is a patient of motion aur motion origins at place, to obj is located at place immediately before "the time of existence of motion".

(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (origin ?MOTION ?PLACE))
      (holdsDuring
            (ImmediatePastFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))

Agar motion is an instance of gati aur obj is a patient of motion aur motion ends at place, to obj is located at place immediately after "the time of existence of motion".

(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (destination ?MOTION ?PLACE))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))

Agar walk is an instance of tahalanaa aur walk agent kaa kaaran hai, to yah kuch thala kshetra area nahin, ki agent is located at area.

(=>
      (and
            (instance ?WALK Walking)
            (agent ?WALK ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA LandArea)
                  (located ?AGENT ?AREA))))

Agar swim is an instance of tairanaa aur swim agent kaa kaaran hai, to yah kuch jala kshetra area nahin, ki agent is located at area.

(=>
      (and
            (instance ?SWIM Swimming)
            (agent ?SWIM ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA WaterArea)
                  (located ?AGENT ?AREA))))

Agar remove is an instance of nikaalanaa aur remove origins at place aur obj is a patient of remove, to obj is located at place immediately before "the time of existence of remove" aur obj is not located at place immediately after "the time of existence of remove".

(=>
      (and
            (instance ?REMOVE Removing)
            (origin ?REMOVE ?PLACE)
            (patient ?REMOVE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?REMOVE))
                  (located ?OBJ ?PLACE))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?REMOVE))
                  (not
                        (located ?OBJ ?PLACE)))))

Agar put is an instance of aur put ends at place aur obj is a patient of put, to obj is not located at place immediately before "the time of existence of put" aur obj is located at place immediately after "the time of existence of put".

(=>
      (and
            (instance ?PUT Putting)
            (destination ?PUT ?PLACE)
            (patient ?PUT ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?PUT))
                  (not
                        (located ?OBJ ?PLACE)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?PUT))
                  (located ?OBJ ?PLACE))))

agar keep is an instance of anurakshana aur obj is a patient of keep,
to yah kuch place nahin, ki sab-kuch time ke lie hai, ki: agar time is a part of "the time of existence of keep", to obj is located at place during time

(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))

Agar organism lives in obj, to yah kuch time nahin, ki organism is located at obj during time.

(=>
      (inhabits ?ORGANISM ?OBJ)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (located ?ORGANISM ?OBJ))))

Agar virus is an instance of vishaaNu aur proc is an instance of punaraavritti aur proc virus kaa kaaran hai, to yah kuch koshIka cell nahin, ki proc is located at cell.

(=>
      (and
            (instance ?VIRUS Virus)
            (instance ?PROC Replication)
            (agent ?PROC ?VIRUS))
      (exists
            (?CELL)
            (and
                  (located ?PROC ?CELL)
                  (instance ?CELL Cell))))

Agar building is an instance of imaarata, to yah kuch maanava human nahin, ki

human lives in building
yah kuch act nahin, ki act human kaa kaaran hai aur act is located at building

(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))

Agar obj1 is on to obj2, to obj1 is located at obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (located ?OBJ1 ?OBJ2))

Agar embryonic is an attribute of org, to yah kuch janana sharIra body nahin, ki org is located at body.

(=>
      (attribute ?ORG Embryonic)
      (exists
            (?BODY)
            (and
                  (instance ?BODY ReproductiveBody)
                  (located ?ORG ?BODY))))