destination (destination)

(destination process goal) means that goal is the target or goal of the Process process. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the destination in the following proposition: Tom gave a book to John.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga

inheritable relation

vibhakti bhUmikaa

destination

Coordinate term(s)

agent direction experiencer origin path patient

Type restrictions

destination(prakriyaa, astitva)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (13)

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
- path1 is path along with process occurs
- process origins at source
- process ends at dest
- the length of path1 is measure1
- yah kuch path2,measure2 nahin, ki path2 is path along with process occurs aur process origins at origin aur process ends at dest aur the length of path2 is measure2 aur measure2 is less than measure1
,
to sab-kuch obj ke lie hai, ki: agar obj is a part of path1, to source aur dest ke biich main obj hai

(=>
      (and
            (path ?PROCESS ?PATH1)
            (origin ?PROCESS ?SOURCE)
            (destination ?PROCESS ?DEST)
            (length ?PATH1 ?MEASURE1)
            (not
                  (exists
                        (?PATH2 ?MEASURE2)
                        (and
                              (path ?PROCESS ?PATH2)
                              (origin ?PROCESS ?ORIGIN)
                              (destination ?PROCESS ?DEST)
                              (length ?PATH2 ?MEASURE2)
                              (lessThan ?MEASURE2 ?MEASURE1)))))
      (forall
            (?OBJ)
            (=>
                  (part ?OBJ ?PATH1)
                  (between ?SOURCE ?OBJ ?DEST))))

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 sub is an instance of swhaanaapanna, to yah kuch put,nikaalanaa remove,obj1,obj2,place nahin, ki put is a subprocess of sub aur remove is a subprocess of sub aur obj1 is a patient of remove aur remove origins at place aur obj2 is a patient of put aur put ends at place aur obj1 is not equal to obj2.

(=>
      (instance ?SUB Substituting)
      (exists
            (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
            (and
                  (instance ?PUT Putting)
                  (instance ?REMOVE Removing)
                  (subProcess ?PUT ?SUB)
                  (subProcess ?REMOVE ?SUB)
                  (patient ?REMOVE ?OBJ1)
                  (origin ?REMOVE ?PLACE)
                  (patient ?PUT ?OBJ2)
                  (destination ?PUT ?PLACE)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

Agar change is an instance of adhikaara parivartana aur change origins at agent1 aur change ends at agent2 aur agent2 is an instance of kartaa aur obj is a patient of change, to agent1 posesses obj immediately before "the time of existence of change" aur agent2 posesses obj immediately after "the time of existence of change".

(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (origin ?CHANGE ?AGENT1)
            (destination ?CHANGE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?CHANGE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ))))

Agar give is an instance of arpana aur give agent1 kaa kaaran hai aur give ends at agent2 aur agent2 is an instance of kartaa aur obj is a patient of give, to yah kuch praapwi get nahin, ki get agent2 kaa kaaran hai aur get origins at agent1 aur obj is a patient of get.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT1)
            (destination ?GIVE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?GIVE ?OBJ))
      (exists
            (?GET)
            (and
                  (instance ?GET Getting)
                  (agent ?GET ?AGENT2)
                  (origin ?GET ?AGENT1)
                  (patient ?GET ?OBJ))))

Yah kuch rina aadaana borrow nahin, ki borrow agent1 kaa kaaran hai aur borrow origins at agent2 aur object is a patient of borrow agar hai yah kuch aapurti lend nahin, ki lend agent2 kaa kaaran hai aur lend ends at agent1 aur object is a patient of lend.

(<=>
      (exists
            (?BORROW)
            (and
                  (instance ?BORROW Borrowing)
                  (agent ?BORROW ?AGENT1)
                  (origin ?BORROW ?AGENT2)
                  (patient ?BORROW ?OBJECT)))
      (exists
            (?LEND)
            (and
                  (instance ?LEND Lending)
                  (agent ?LEND ?AGENT2)
                  (destination ?LEND ?AGENT1)
                  (patient ?LEND ?OBJECT))))

Agar get is an instance of praapwi aur get agent kaa kaaran hai, to get ends at agent.

(=>
      (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT))
      (destination ?GET ?AGENT))

Agar trans is an instance of lena-dena, to yah kuch agent1,agent2,arpana give1,arpana give2,obj1,obj2 nahin, ki give1 is a subprocess of trans aur give2 is a subprocess of trans aur give1 agent1 kaa kaaran hai aur give2 agent2 kaa kaaran hai aur obj1 is a patient of give1 aur obj2 is a patient of give2 aur give1 ends at agent2 aur give2 ends at agent1 aur agent1 is not equal to agent2 aur obj1 is not equal to obj2.

(=>
      (instance ?TRANS Transaction)
      (exists
            (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
            (and
                  (instance ?GIVE1 Giving)
                  (instance ?GIVE2 Giving)
                  (subProcess ?GIVE1 ?TRANS)
                  (subProcess ?GIVE2 ?TRANS)
                  (agent ?GIVE1 ?AGENT1)
                  (agent ?GIVE2 ?AGENT2)
                  (patient ?GIVE1 ?OBJ1)
                  (patient ?GIVE2 ?OBJ2)
                  (destination ?GIVE1 ?AGENT2)
                  (destination ?GIVE2 ?AGENT1)
                  (not
                        (equal ?AGENT1 ?AGENT2))
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

Agar buy is an instance of kraya aur buy agent kaa kaaran hai, to buy ends at agent.

(=>
      (and
            (instance ?BUY Buying)
            (agent ?BUY ?AGENT))
      (destination ?BUY ?AGENT))

Yah kuch kraya buy nahin, ki buy agent1 kaa kaaran hai aur buy origins at agent2 aur object is a patient of buy agar hai yah kuch vikraya sell nahin, ki sell agent2 kaa kaaran hai aur sell ends at agent1 aur object is a patient of sell.

(<=>
      (exists
            (?BUY)
            (and
                  (instance ?BUY Buying)
                  (agent ?BUY ?AGENT1)
                  (origin ?BUY ?AGENT2)
                  (patient ?BUY ?OBJECT)))
      (exists
            (?SELL)
            (and
                  (instance ?SELL Selling)
                  (agent ?SELL ?AGENT2)
                  (destination ?SELL ?AGENT1)
                  (patient ?SELL ?OBJECT))))

Agar communicate is an instance of sanchaarana, to yah kuch tatva-vaahaka padaartha obj,sangyaanaatmaka kartaa agent1,sangyaanaatmaka kartaa agent2 nahin, ki obj is a patient of communicate aur communicate agent1 kaa kaaran hai aur communicate ends at agent2.

(=>
      (instance ?COMMUNICATE Communication)
      (exists
            (?OBJ ?AGENT1 ?AGENT2)
            (and
                  (instance ?OBJ ContentBearingObject)
                  (patient ?COMMUNICATE ?OBJ)
                  (instance ?AGENT1 CognitiveAgent)
                  (agent ?COMMUNICATE ?AGENT1)
                  (instance ?AGENT2 CognitiveAgent)
                  (destination ?COMMUNICATE ?AGENT2))))

Agar disseminate is an instance of prasaarana, to yah kuch sangyaanaatmaka kartaa agent1,sangyaanaatmaka kartaa agent2 nahin, ki disseminate ends at agent1 aur disseminate ends at agent2 aur agent1 is not equal to agent2.

(=>
      (instance ?DISSEMINATE Disseminating)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (destination ?DISSEMINATE ?AGENT1)
                  (instance ?AGENT1 CognitiveAgent)
                  (destination ?DISSEMINATE ?AGENT2)
                  (instance ?AGENT2 CognitiveAgent)
                  (not
                        (equal ?AGENT1 ?AGENT2)))))