Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - hasPurpose
hasPurpose

appearance as argument number 1
-------------------------


(instance hasPurpose BinaryPredicate) Merge.kif 4048-4048
(domain hasPurpose 1 Physical) Merge.kif 4049-4049
(domain hasPurpose 2 Formula) Merge.kif 4050-4050
(documentation hasPurpose EnglishLanguage "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.") Merge.kif 4052-4062

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage hasPurpose "has purpose") domainEnglishFormat.kif 27548-27548
(termFormat ChineseTraditionalLanguage hasPurpose "有目的") domainEnglishFormat.kif 27549-27549
(termFormat ChineseLanguage hasPurpose "有目的") domainEnglishFormat.kif 27550-27550
(format EnglishLanguage hasPurpose "%1 %p{has} %n{does not have} the purpose %2") english_format.kif 115-115

antecedent
-------------------------


(=>
    (hasPurpose ?THING ?PURPOSE)
    (exists (?AGENT)
        (hasPurposeForAgent ?THING ?AGENT ?PURPOSE)))		 Merge.kif 4077-4080
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))		 Merge.kif 18566-18576
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))		 Merge.kif 18587-18595
(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))		 Mid-level-ontology.kif 2419-2423
(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))		 Mid-level-ontology.kif 2429-2433
(=>
    (and
        (attribute ?A ArtifactNotFitForPurpose)
        (hasPurpose ?A ?USE))
    (not
        (modalAttribute ?USE Possibility)))		 Mid-level-ontology.kif 19117-19122
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))		 Mid-level-ontology.kif 19831-19836
(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))		 Mid-level-ontology.kif 32050-32054
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))		 Mid-level-ontology.kif 32069-32074
(=>
    (and
        (attribute ?C Collectible)
        (hasPurpose ?C ?P))
    (exists (?H ?P2)
        (and
            (instance ?H Human)
            (wants ?H ?C)
            (desires ?H ?P2)
            (entails ?P2
                (possesses ?H ?C))
            (not
                (equal ?P ?P2)))))		 Mid-level-ontology.kif 32118-32130
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2332-2339
(=>
    (and
        (status ?Process ProcessFailure)
        (hasPurpose ?Process ?Purpose))
    (not
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Process)) ?Purpose)))		 QoSontology.kif 898-905

consequent
-------------------------


(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))		 Merge.kif 11907-11915
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))		 Merge.kif 13200-13210
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))		 Merge.kif 13325-13330
(=>
    (instance ?ADVERT Advertising)
    (exists (?OBJ)
        (and
            (refers ?ADVERT ?OBJ)
            (hasPurpose ?ADVERT
                (exists (?SALE)
                    (and
                        (instance ?SALE Selling)
                        (patient ?SALE ?OBJ)))))))		 Merge.kif 13400-13405
(=>
    (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)))))))		 Merge.kif 13599-13610
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Translocation)
                (path ?TRANSPORT ?WAY)))))		 Merge.kif 14590-14596
(=>
    (instance ?WAY LandTransitway)
    (hasPurpose ?WAY
        (exists (?MOVE ?LAND)
            (and
                (instance ?MOVE Translocation)
                (path ?MOVE ?WAY)
                (eventLocated ?MOVE ?LAND)
                (instance ?LAND LandArea)))))		 Merge.kif 14603-14611
(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
        (hasPurpose ?ORGAN ?PURP)))		 Merge.kif 15411-15414
(=>
    (instance ?RESIDENCE SingleFamilyResidence)
    (hasPurpose ?RESIDENCE
        (forall (?AGENT1 ?AGENT2)
            (=>
                (and
                    (home ?AGENT1 ?RESIDENCE)
                    (home ?AGENT2 ?RESIDENCE))
                (exists (?UNIT)
                    (and
                        (instance ?UNIT SocialUnit)
                        (member ?AGENT1 ?UNIT)
                        (member ?AGENT2 ?UNIT)))))))		 Merge.kif 16127-16139
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H ?P)
            (and
                (instance ?H Human)
                (instance ?P Perception)
                (experiencer ?P ?H)
                (patient ?P ?AW)))))		 Merge.kif 16161-16169
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H)
            (and
                (instance ?H Human)
                (desires ?H
                    (exists (?P)
                        (and
                            (instance ?P Perception)
                            (experiencer ?P ?H)
                            (patient ?P ?AW))))))))		 Merge.kif 16171-16182
(=>
    (instance ?WI WearableItem)
    (hasPurpose ?WI
        (exists (?H)
            (and
                (instance ?H Human)
                (wears ?H ?WI)))))		 Merge.kif 16209-16215
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))		 Merge.kif 16258-16265
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
        (hasPurpose ?DEVICE
            (exists (?INST)
                (and
                    (instance ?INST ?PROC)
                    (instrument ?INST ?DEVICE))))))		 Merge.kif 16292-16299
(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))		 Merge.kif 16357-16363
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))		 Merge.kif 16385-16392
(=>
    (instance ?ORG Manufacturer)
    (hasPurpose ?ORG
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (instance ?MANUFACTURE CommercialService)
                (agent ?MANUFACTURE ?ORG)))))		 Merge.kif 16560-16567
(=>
    (instance ?ORG MercantileOrganization)
    (hasPurpose ?ORG
        (exists (?SELL)
            (and
                (instance ?SELL Selling)
                (instance ?SELL CommercialService)
                (agent ?SELL ?ORG)))))		 Merge.kif 16573-16580
(=>
    (instance ?ORG Organization)
    (exists (?PURP)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?ORG)
                (hasPurpose ?MEMBER ?PURP)))))		 Merge.kif 16980-16986
(=>
    (and
        (instance ?D Dodging)
        (agent ?D ?A)
        (equal ?DT
            (WhenFn ?D)))
    (hasPurpose ?D
        (not
            (exists (?I)
                (and
                    (or
                        (meetsTemporally ?DT
                            (WhenFn ?I))
                        (overlapsTemporally ?DT
                            (WhenFn ?I)))
                    (instance ?I Impacting)
                    (patient ?I ?A))))))		 Mid-level-ontology.kif 433-446
(=>
    (instance ?LYRIC Lyrics)
    (hasPurpose ?LYRIC
        (exists (?SING)
            (and
                (instance ?SING Singing)
                (patient ?SING ?LYRIC)))))		 Mid-level-ontology.kif 680-686
(=>
    (instance ?S ShotShell)
    (hasPurpose ?S
        (exists (?X)
            (and
                (contains ?S ?X)
                (properPart ?X ?S)
                (or
                    (instance ?X FirearmShot)
                    (instance ?X ShotgunSlug))))))		 Mid-level-ontology.kif 1118-1127
(=>
    (instance ?SHELL ShotShell)
    (hasPurpose ?SHELL
        (exists (?S ?G)
            (and
                (instance ?S Shooting)
                (instrument ?S ?G)
                (instance ?G Shotgun)
                (patient ?S ?SHELL)))))		 Mid-level-ontology.kif 1129-1137
(=>
    (instance ?S Spear)
    (hasPurpose ?S
        (exists (?P ?A)
            (and
                (instance ?A CognitiveAgent)
                (or
                    (instance ?P Poking)
                    (instance ?P Hunting)
                    (instance ?P Attacking))
                (instrument ?P ?S)
                (agent ?P ?A)))))		 Mid-level-ontology.kif 1235-1246
(=>
    (instance ?B Bullet)
    (hasPurpose ?B
        (exists (?S ?GUN)
            (and
                (instance ?S Shooting)
                (instrument ?S ?GUN)
                (instance ?GUN Gun)
                (patient ?S ?B)))))		 Mid-level-ontology.kif 1285-1293

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))		 ComputingBrands.kif 3216-3222


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners