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.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída

inheritable relation

binární predikát
is instance of

nesymetrická relace
is instance of

has purpose

Související termín(y)

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

Typy argumentů

hasPurpose(fyzický objekt, formule)

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.

Axiomy (9)

Jestliže thing has purpose purpose, potom existuje agent tak, že thing has purpose purpose for agent.

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

Jestliže education je instancí třídy vzdělávací proces a person je účastníkem education, potom education has purpose "existuje učení se learn tak, že person je účastníkem learn".

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

Jestliže pretend je instancí třídy předstírání, potom existují person,prop tak, že pretend has purpose "person believes prop" a prop is true.

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

Jestliže advert je instancí třídy propagace, potom existuje obj tak, že refers(advert,obj) platí a advert has purpose "existuje prodávání sale tak, že obj je účastníkem sale".

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

Jestliže meet je instancí třídy setkání, potom existují agent1,agent2 tak, že agent1 je původcem meet a agent2 je původcem meet a meet has purpose "existuje komunikace comm tak, že agent1 je původcem comm a agent2 je původcem comm".

(=>
      (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)))))))

Jestliže organ je instancí třídy orgán, potom existuje purp tak, že organ has purpose purp.

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

Jestliže device je instancí třídy zařízení, potom existuje proces proc tak, že device has purpose "device je capable to do proc in role instrument".

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

Jestliže weapon je instancí třídy zbraň, potom weapon has purpose "existují poškození dest,patient tak, že patient je účastníkem dest a

patient je instancí třídy nemovitost
patient je instancí třídy zvíře
existuje zvíře animal tak, že 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))))))))

Jestliže plan je instancí třídy plán, potom existuje purp tak, že plan has purpose purp.

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