has purpose (hasPurpose)

This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (hasPurpose thing formula) means that the instance of Physical thing has, as its purpose, the Proposition expressed by formula. Note that there is an important difference in meaning between the Predicates hasPurpose and result. Although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired. For example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga

inheritable relation

dvi-lakshana
is instance of

asaamanjasyapUrNa sambandha
is instance of

has purpose

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before or equal causes causes subclass citizen closed on completely fills connected contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material measure meets temporally member modal attribute overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

hasPurpose(bhOtika vaswu, sUtra)

Related WordNet synsets

motivation, motive, need: the psychological feature that arouses an organism to action; the reason for the action; "we did not understand his motivation"; "he acted with the best of motives"
function, purpose, role, use: what something is used for; "the function of an auger is to bore holes"; "ballet is beautiful but what use is it?"
purposefulness, sense of purpose: the quality of having a definite purpose
bourn, bourne: an archaic term for a goal or destination
goal, end: the state of affairs that a plan is intended to achieve and that (when achieved) terminates behavior intended to achieve it; "the ends justify the means"
aim, object, objective, target: the goal intended to be attained (and which is believed to be attainable); "the sole object of her trip was to see her children"
purpose, intent, intention, aim, design: an anticipated outcome that is intended or guides your planned actions; "his intent was to provide a new translation"; "it was created with the conscious aim of answering immediate needs"; "he made no secret of his designs"
view: the phrase "with a view to" means "with the intention of"; "he took the computer with a view to pawning it"
purposefully: in a purposeful manner; "he caught the motorcycles in the full glare of his headlights, braked and slipped purposefully out of the car"

See more related synsets on a separate page.

Axioms (9)

Agar thing has purpose purpose, to yah kuch agent nahin, ki thing has &n purpose purpose for agent.

(=>
      (hasPurpose ?THING ?PURPOSE)
      (exists
            (?AGENT)
            (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))

Agar education is an instance of shaikshika prakriyaa aur person is a patient of education, to education has purpose "yah kuch adhyayana learn nahin, ki person is a patient of learn".

(=>
      (and
            (instance ?EDUCATION EducationalProcess)
            (patient ?EDUCATION ?PERSON))
      (hasPurpose
            ?EDUCATION
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (patient ?LEARN ?PERSON)))))

Agar pretend is an instance of pradarshana, to yah kuch person,prop nahin, ki pretend has purpose "person prop par vishvaas kartaa hai" aur prop is true.

(=>
      (instance ?PRETEND Pretending)
      (exists
            (?PERSON ?PROP)
            (and
                  (hasPurpose
                        ?PRETEND
                        (believes ?PERSON ?PROP))
                  (true ?PROP True))))

Agar advert is an instance of vigyaapana karma, to yah kuch obj nahin, ki advert includes a reference to obj aur advert has purpose "yah kuch vikraya sale nahin, ki obj is a patient of sale".

(=>
      (instance ?ADVERT Advertising)
      (exists
            (?OBJ)
            (and
                  (refers ?ADVERT ?OBJ)
                  (hasPurpose
                        ?ADVERT
                        (exists
                              (?SALE)
                              (and
                                    (instance ?SALE Selling)
                                    (patient ?SALE ?OBJ)))))))

Agar meet is an instance of sangoshthii, to yah kuch agent1,agent2 nahin, ki meet agent1 kaa kaaran hai aur meet agent2 kaa kaaran hai aur meet has purpose "yah kuch sanchaarana comm nahin, ki comm agent1 kaa kaaran hai aur comm agent2 kaa kaaran hai".

(=>
      (instance ?MEET Meeting)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (agent ?MEET ?AGENT1)
                  (agent ?MEET ?AGENT2)
                  (hasPurpose
                        ?MEET
                        (exists
                              (?COMM)
                              (and
                                    (instance ?COMM Communication)
                                    (agent ?COMM ?AGENT1)
                                    (agent ?COMM ?AGENT2)))))))

Agar organ is an instance of anga, to yah kuch purp nahin, ki organ has purpose purp.

(=>
      (instance ?ORGAN Organ)
      (exists
            (?PURP)
            (hasPurpose ?ORGAN ?PURP)))

Agar device is an instance of saadhana, to yah kuch prakriyaa proc nahin, ki device has purpose "device is capable to do proc in role instrument".

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))

Agar weapon is an instance of hathiyaara, to weapon has purpose "yah kuch kshati dest,patient nahin, ki patient is a patient of dest aur

patient is an instance of lekhana saamagrI
patient is an instance of pashu
yah kuch pashu animal nahin, ki animal lives in patient

(=>
      (instance ?WEAPON Weapon)
      (hasPurpose
            ?WEAPON
            (exists
                  (?DEST ?PATIENT)
                  (and
                        (instance ?DEST Damaging)
                        (patient ?DEST ?PATIENT)
                        (or
                              (instance ?PATIENT StationaryArtifact)
                              (instance ?PATIENT Animal)
                              (exists
                                    (?ANIMAL)
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (inhabits ?ANIMAL ?PATIENT))))))))

Agar plan is an instance of yojanaa, to yah kuch purp nahin, ki plan has purpose purp.

(=>
      (instance ?PLAN Plan)
      (exists
            (?PURP)
            (hasPurpose ?PLAN ?PURP)))