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 has purpose is an instance of binary predicate
(domain hasPurpose 1 Physical) Merge.kif 4049-4049 The number 1 argument of has purpose is an instance of physical
(domain hasPurpose 2 Formula) Merge.kif 4050-4050 The number 2 argument of has purpose is an instance of formula
(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 The number 2 argument of has purpose is an instance of formula

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 If X has the purpose Y, then there exists Z such that X has the purpose Z for Y
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))		 Merge.kif 18566-18576 If impaired body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then the statement V has the modal force of likely
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))		 Merge.kif 18587-18595 If dead or missing body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then V
(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))		 Mid-level-ontology.kif 2419-2423 If functioning is an attribute of X and X has the purpose Y, then Y is true
(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))		 Mid-level-ontology.kif 2429-2433 If malfunctioning is an attribute of X and X has the purpose Y, then Y is false
(=>
    (and
        (attribute ?A ArtifactNotFitForPurpose)
        (hasPurpose ?A ?USE))
    (not
        (modalAttribute ?USE Possibility)))		 Mid-level-ontology.kif 19117-19122 If artifact not fit for purpose is an attribute of X and X has the purpose Y, then the statement Y doesn't have the modal force of possibility
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))		 Mid-level-ontology.kif 19831-19836 If X is an instance of installing, Y is a patient of X, and Y has the purpose Z, then Z is true holds during the end of the time of existence of X
(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))		 Mid-level-ontology.kif 32050-32054 If device normal is an attribute of X and X has the purpose Y, then the statement Y has the modal force of possibility
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))		 Mid-level-ontology.kif 32069-32074 If device damaged is an attribute of X and X has the purpose Y, then the statement Y doesn't have the modal force of possibility
(=>
    (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 If Collectible is an attribute of X and X has the purpose Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of human (3) Z wants X (4) Z desires W (5) W entails Z possesses X (6) equal Y (7) W
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2332-2339 If X is an instance of political pressure group, X has the purpose Y, Z is an agent operates in area of X, and Z is an instance of nation, then X desires the government of Z believes Y
(=>
    (and
        (status ?Process ProcessFailure)
        (hasPurpose ?Process ?Purpose))
    (not
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Process)) ?Purpose)))		 QoSontology.kif 898-905 If process failure is the status of X and X has the purpose Y, then Y doesn't hold during immediately before the time of existence of X

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


(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))		 Merge.kif 11907-11915 If X is an instance of educational process and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of learning and Y is a patient of Z
(=>
    (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 If X is an instance of hunting and Y is a patient of X, then X has the purpose there exists Z such that Y is a patient of Z and Z is an instance of confining or Z is an instance of killing
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))		 Merge.kif 13325-13330 If X is an instance of pretending, then there exist Y, Z such that X has the purpose Y believes Z, and Z is false
(=>
    (instance ?ADVERT Advertising)
    (exists (?OBJ)
        (and
            (refers ?ADVERT ?OBJ)
            (hasPurpose ?ADVERT
                (exists (?SALE)
                    (and
                        (instance ?SALE Selling)
                        (patient ?SALE ?OBJ)))))))		 Merge.kif 13400-13405 If X is an instance of advertising, then there exists Y such that X includes a reference to Y, X has the purpose there exists Z such that Z is an instance of selling, and Y is a patient of Z
(=>
    (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 If X is an instance of meeting, then there exist Y, Z such that Y is an agent of X, Z is an agent of X, X has the purpose there exists W such that W is an instance of communication, Y is an agent of W, and Z is an agent of W
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Translocation)
                (path ?TRANSPORT ?WAY)))))		 Merge.kif 14590-14596 If X is an instance of transitway, then X has the purpose there exists Y such that Y is an instance of translocation and X is path along which Y occurs
(=>
    (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 If X is an instance of land transitway, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, Y is located at Z, and Z is an instance of land area
(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
        (hasPurpose ?ORGAN ?PURP)))		 Merge.kif 15411-15414 If X is an instance of organ, then there exists Y such that X has the purpose Y
(=>
    (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 If X is an instance of single family residence, then X has the purpose Y, Z the home of Y is X, the home of Z is Xthere exists W such that W is an instance of social unit, Y is a member of W, and Z is a member of W
(=>
    (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 If X is an instance of art work, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of perception, Y experiences Z, and X is a patient of Z
(=>
    (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 If X is an instance of art work, then X has the purpose there exists Y such that Y is an instance of human, Y desires there exists Z such that Z is an instance of perception, Y experiences Z, and X is a patient of Z
(=>
    (instance ?WI WearableItem)
    (hasPurpose ?WI
        (exists (?H)
            (and
                (instance ?H Human)
                (wears ?H ?WI)))))		 Merge.kif 16209-16215 If X is an instance of wearable item, then X has the purpose there exists Y such that Y is an instance of human and Y wears X
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))		 Merge.kif 16258-16265 If X is an instance of clothing, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is a part of Y, and X covers Z
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
        (hasPurpose ?DEVICE
            (exists (?INST)
                (and
                    (instance ?INST ?PROC)
                    (instrument ?INST ?DEVICE))))))		 Merge.kif 16292-16299 If X is an instance of device, then there exists Y such that X has the purpose there exists Z such that Z is an instance of Y and X is an instrument for Z
(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))		 Merge.kif 16357-16363 If X is an instance of measuring device, then X has the purpose there exists Y such that Y is an instance of measuring and X is an instrument for Y
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))		 Merge.kif 16385-16392 If X is an instance of weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, and Z is a patient of Y
(=>
    (instance ?ORG Manufacturer)
    (hasPurpose ?ORG
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (instance ?MANUFACTURE CommercialService)
                (agent ?MANUFACTURE ?ORG)))))		 Merge.kif 16560-16567 If X is an instance of manufacturer, then X has the purpose there exists Y such that Y is an instance of manufacture, Y is an instance of commercial service, and X is an agent of Y
(=>
    (instance ?ORG MercantileOrganization)
    (hasPurpose ?ORG
        (exists (?SELL)
            (and
                (instance ?SELL Selling)
                (instance ?SELL CommercialService)
                (agent ?SELL ?ORG)))))		 Merge.kif 16573-16580 If X is an instance of mercantile organization, then X has the purpose there exists Y such that Y is an instance of selling, Y is an instance of commercial service, and X is an agent of Y
(=>
    (instance ?ORG Organization)
    (exists (?PURP)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?ORG)
                (hasPurpose ?MEMBER ?PURP)))))		 Merge.kif 16980-16986 If X is an instance of organization, then there exists Y such that Z Z is a member of XZ has the purpose Y
(=>
    (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 If X is an instance of dodging, Y is an agent of X, and equal Z and the time of existence of X, then X has the purpose there doesn't exist W such that Z meets the time of existence of W or the time of existence of W overlaps Z, W is an instance of impacting, and Y is a patient of W
(=>
    (instance ?LYRIC Lyrics)
    (hasPurpose ?LYRIC
        (exists (?SING)
            (and
                (instance ?SING Singing)
                (patient ?SING ?LYRIC)))))		 Mid-level-ontology.kif 680-686 If X is an instance of lyrics, then X has the purpose there exists Y such that Y is an instance of singing and X is a patient of Y
(=>
    (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 If X is an instance of shot shell, then X has the purpose there exists Y such that X contains Y, Y is a proper part of X, and Y is an instance of firearm shot or Y is an instance of shotgun slug
(=>
    (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 If X is an instance of shot shell, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of shot gun, and X is a patient of Y
(=>
    (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 If X is an instance of spear, then X has the purpose there exist Y, Z such that Z is an instance of cognitive agent, Y is an instance of poking, Y is an instance of hunting, or Y is an instance of Attacking, X is an instrument for Y, and Z is an agent of Y
(=>
    (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 If X is an instance of bullet, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of gun, and X is a patient of Y

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 IBookstore has the purpose there exists ?D such that ?D is an instance of downloading, iBookstore is an instrument for ?D, ?T is an instance of text, and the object transferred in ?D is ?T


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners