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
-------------------------


s__instance(s__hasPurpose,s__BinaryPredicate)

 Merge.kif 4048-4048 has purpose is an instance of binary predicate
s__domain(s__hasPurpose,n__1,s__Physical)

 Merge.kif 4049-4049 The number 1 argument of has purpose is an instance of physical
s__domain(s__hasPurpose,n__2,s__Formula)

 Merge.kif 4050-4050 The number 2 argument of has purpose is an instance of formula
s__documentation(s__hasPurpose, s__EnglishLanguage, "This Predicate expresses the concept of a conventional goal, i_e_ a goal with a neutralized agents 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
-------------------------


s__termFormat(s__EnglishLanguage, s__hasPurpose, "has purpose") domainEnglishFormat.kif 27548-27548
s__termFormat(s__ChineseTraditionalLanguage, s__hasPurpose, "有目的") domainEnglishFormat.kif 27549-27549
s__termFormat(s__ChineseLanguage, s__hasPurpose, "有目的") domainEnglishFormat.kif 27550-27550
s__format(s__EnglishLanguage, s__hasPurpose, "%1 %p{has} %n{does not have} the purpose %2") english_format.kif 115-115

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


! [V__PURPOSE : $i,V__THING : $i] : ((s__hasPurpose(V__THING, V__PURPOSE) => ( ? [V__AGENT:$i] : (s__hasPurposeForAgent(V__THING, V__AGENT, V__PURPOSE))))) Merge.kif 4077-4080 If X has the purpose Y, then there exists Z such that X has the purpose Z for Y
! [V__F : $i,V__H : $i,V__P : $i,V__PI : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__ImpairedBodyPartFn(V__P))) & s__instance(V__PI, V__P) & s__part(V__PI, V__H) & s__hasPurpose(V__PI, V__F)) => s__modalAttribute(~(V__F), s__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
! [V__F : $i,V__H : $i,V__P : $i,V__PI : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__DeadOrMissingBodyPartFn(V__P))) & s__instance(V__PI, V__P) & s__part(V__PI, V__H) & s__hasPurpose(V__PI, V__F)) => ~(V__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
! [V__DEVICE : $i,V__PROP : $i] : (((s__attribute(V__DEVICE, s__Functioning) & s__hasPurpose(V__DEVICE, V__PROP)) => s__truth(V__PROP, '$true__m'))) Mid-level-ontology.kif 2419-2423 If functioning is an attribute of X and X has the purpose Y, then Y is true
! [V__DEVICE : $i,V__PROP : $i] : (((s__attribute(V__DEVICE, s__Malfunctioning) & s__hasPurpose(V__DEVICE, V__PROP)) => s__truth(V__PROP, '$false__m'))) Mid-level-ontology.kif 2429-2433 If malfunctioning is an attribute of X and X has the purpose Y, then Y is false
! [V__A : $i,V__USE : $i] : (((s__attribute(V__A, s__ArtifactNotFitForPurpose) & s__hasPurpose(V__A, V__USE)) => ~(s__modalAttribute(V__USE, s__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
! [V__DEVICE : $i,V__INSTALL : $i,V__PURPOSE : $i] : (((s__instance(V__INSTALL, s__Installing) & s__patient(V__INSTALL, V__DEVICE) & s__hasPurpose(V__DEVICE, V__PURPOSE)) => s__holdsDuring(s__EndFn(s__WhenFn(V__INSTALL)), s__truth(V__PURPOSE, '$true__m')))) 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
! [V__D : $i,V__F : $i] : (((s__attribute(V__D, s__DeviceNormal) & s__hasPurpose(V__D, V__F)) => s__modalAttribute(V__F, s__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
! [V__D : $i,V__F : $i] : (((s__attribute(V__D, s__DeviceDamaged) & s__hasPurpose(V__D, V__F)) => ~(s__modalAttribute(V__F, s__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
! [V__C : $i,V__P : $i] : (((s__attribute(V__C, s__Collectible) & s__hasPurpose(V__C, V__P)) => ( ? [V__H:$i, V__P2:$i] : ((s__instance(V__H, s__Human) & s__wants(V__H, V__C) & s__desires(V__H, V__P2) & s__entails(V__P2, s__possesses(V__H, V__C)) & ~(V__P = V__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
! [V__AREA : $i,V__FORMULA : $i,V__GROUP : $i] : (((s__instance(V__GROUP, s__PoliticalPressureGroup) & s__hasPurpose(V__GROUP, V__FORMULA) & s__agentOperatesInArea(V__GROUP, V__AREA) & s__instance(V__AREA, s__Nation)) => s__desires(V__GROUP, s__believes(s__GovernmentFn(V__AREA), V__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
! [V__Process : $i,V__Purpose : $i] : (((s__status(V__Process, s__ProcessFailure) & s__hasPurpose(V__Process, V__Purpose)) => ~(s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__Process)), V__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
-------------------------


! [V__EDUCATION : $i,V__PERSON : $i] : (((s__instance(V__EDUCATION, s__EducationalProcess) & s__patient(V__EDUCATION, V__PERSON)) => s__hasPurpose(V__EDUCATION, ( ? [V__LEARN:$i] : ((s__instance(V__LEARN, s__Learning) & s__patient(V__LEARN, V__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
! [V__H : $i,V__P : $i] : (((s__instance(V__H, s__Hunting) & s__patient(V__H, V__P)) => s__hasPurpose(V__H, ( ? [V__PROC:$i] : ((s__patient(V__PROC, V__P) & (s__instance(V__PROC, s__Confining) | s__instance(V__PROC, s__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
! [V__PRETEND : $i] : ((s__instance(V__PRETEND, s__Pretending) => ( ? [V__PERSON:$i, V__PROP:$i] : ((s__hasPurpose(V__PRETEND, s__believes(V__PERSON, V__PROP)) & s__truth(V__PROP, '$false__m')))))) 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
! [V__ADVERT : $i] : ((s__instance(V__ADVERT, s__Advertising) => ( ? [V__OBJ:$i] : ((s__refers(V__ADVERT, V__OBJ) & s__hasPurpose(V__ADVERT, ( ? [V__SALE:$i] : ((s__instance(V__SALE, s__Selling) & s__patient(V__SALE, V__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
! [V__MEET : $i] : ((s__instance(V__MEET, s__Meeting) => ( ? [V__AGENT1:$i, V__AGENT2:$i] : ((s__agent(V__MEET, V__AGENT1) & s__agent(V__MEET, V__AGENT2) & s__hasPurpose(V__MEET, ( ? [V__COMM:$i] : ((s__instance(V__COMM, s__Communication) & s__agent(V__COMM, V__AGENT1) & s__agent(V__COMM, V__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
! [V__WAY : $i] : ((s__instance(V__WAY, s__Transitway) => s__hasPurpose(V__WAY, ( ? [V__TRANSPORT:$i] : ((s__instance(V__TRANSPORT, s__Translocation) & s__path(V__TRANSPORT, V__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
! [V__WAY : $i] : ((s__instance(V__WAY, s__LandTransitway) => s__hasPurpose(V__WAY, ( ? [V__MOVE:$i, V__LAND:$i] : ((s__instance(V__MOVE, s__Translocation) & s__path(V__MOVE, V__WAY) & s__eventLocated(V__MOVE, V__LAND) & s__instance(V__LAND, s__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
! [V__ORGAN : $i] : ((s__instance(V__ORGAN, s__Organ) => ( ? [V__PURP:$i] : (s__hasPurpose(V__ORGAN, V__PURP))))) Merge.kif 15411-15414 If X is an instance of organ, then there exists Y such that X has the purpose Y
! [V__RESIDENCE : $i] : ((s__instance(V__RESIDENCE, s__SingleFamilyResidence) => s__hasPurpose(V__RESIDENCE, ( ! [V__AGENT1:$i, V__AGENT2:$i] : (((s__home(V__AGENT1, V__RESIDENCE) & s__home(V__AGENT2, V__RESIDENCE)) => ( ? [V__UNIT:$i] : ((s__instance(V__UNIT, s__SocialUnit) & s__member(V__AGENT1, V__UNIT) & s__member(V__AGENT2, V__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
! [V__AW : $i] : ((s__instance(V__AW, s__ArtWork) => s__hasPurpose(V__AW, ( ? [V__H:$i, V__P:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Perception) & s__experiencer(V__P, V__H) & s__patient(V__P, V__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
! [V__AW : $i] : ((s__instance(V__AW, s__ArtWork) => s__hasPurpose(V__AW, ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__desires(V__H, ( ? [V__P:$i] : ((s__instance(V__P, s__Perception) & s__experiencer(V__P, V__H) & s__patient(V__P, V__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
! [V__WI : $i] : ((s__instance(V__WI, s__WearableItem) => s__hasPurpose(V__WI, ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__wears(V__H, V__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
! [V__CLOTHING : $i] : ((s__instance(V__CLOTHING, s__Clothing) => s__hasPurpose(V__CLOTHING, ( ? [V__H:$i, V__P:$i] : ((s__instance(V__H, s__Animal) & s__part(V__P, V__H) & s__covers(V__CLOTHING, V__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
! [V__DEVICE : $i] : ((s__instance(V__DEVICE, s__Device) => ( ? [V__PROC:$i] : (s__hasPurpose(V__DEVICE, ( ? [V__INST:$i] : ((s__instance(V__INST, V__PROC) & s__instrument(V__INST, V__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
! [V__DEVICE : $i] : ((s__instance(V__DEVICE, s__MeasuringDevice) => s__hasPurpose(V__DEVICE, ( ? [V__MEASURE:$i] : ((s__instance(V__MEASURE, s__Measuring) & s__instrument(V__MEASURE, V__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
! [V__WEAPON : $i] : ((s__instance(V__WEAPON, s__Weapon) => s__hasPurpose(V__WEAPON, ( ? [V__D:$i, V__PATIENT:$i] : ((s__instance(V__D, s__Damaging) & s__instrument(V__D, V__WEAPON) & s__patient(V__D, V__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
! [V__ORG : $i] : ((s__instance(V__ORG, s__Manufacturer) => s__hasPurpose(V__ORG, ( ? [V__MANUFACTURE:$i] : ((s__instance(V__MANUFACTURE, s__Manufacture) & s__instance(V__MANUFACTURE, s__CommercialService) & s__agent(V__MANUFACTURE, V__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
! [V__ORG : $i] : ((s__instance(V__ORG, s__MercantileOrganization) => s__hasPurpose(V__ORG, ( ? [V__SELL:$i] : ((s__instance(V__SELL, s__Selling) & s__instance(V__SELL, s__CommercialService) & s__agent(V__SELL, V__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
! [V__ORG : $i] : ((s__instance(V__ORG, s__Organization) => ( ? [V__PURP:$i] : (( ! [V__MEMBER:$i] : ((s__member(V__MEMBER, V__ORG) => s__hasPurpose(V__MEMBER, V__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
! [V__A : $i,V__D : $i,V__DT : $i] : (((s__instance(V__D, s__Dodging) & s__agent(V__D, V__A) & V__DT = s__WhenFn(V__D)) => s__hasPurpose(V__D, ~(( ? [V__I:$i] : (((s__meetsTemporally(V__DT, s__WhenFn(V__I)) | s__overlapsTemporally(V__DT, s__WhenFn(V__I))) & s__instance(V__I, s__Impacting) & s__patient(V__I, V__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
! [V__LYRIC : $i] : ((s__instance(V__LYRIC, s__Lyrics) => s__hasPurpose(V__LYRIC, ( ? [V__SING:$i] : ((s__instance(V__SING, s__Singing) & s__patient(V__SING, V__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
! [V__S : $i] : ((s__instance(V__S, s__ShotShell) => s__hasPurpose(V__S, ( ? [V__X:$i] : ((s__contains(V__S, V__X) & s__properPart(V__X, V__S) & (s__instance(V__X, s__FirearmShot) | s__instance(V__X, s__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
! [V__SHELL : $i] : ((s__instance(V__SHELL, s__ShotShell) => s__hasPurpose(V__SHELL, ( ? [V__S:$i, V__G:$i] : ((s__instance(V__S, s__Shooting) & s__instrument(V__S, V__G) & s__instance(V__G, s__Shotgun) & s__patient(V__S, V__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
! [V__S : $i] : ((s__instance(V__S, s__Spear) => s__hasPurpose(V__S, ( ? [V__P:$i, V__A:$i] : ((s__instance(V__A, s__CognitiveAgent) & (s__instance(V__P, s__Poking) | s__instance(V__P, s__Hunting) | s__instance(V__P, s__Attacking)) & s__instrument(V__P, V__S) & s__agent(V__P, V__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
! [V__B : $i] : ((s__instance(V__B, s__Bullet) => s__hasPurpose(V__B, ( ? [V__S:$i, V__GUN:$i] : ((s__instance(V__S, s__Shooting) & s__instrument(V__S, V__GUN) & s__instance(V__GUN, s__Gun) & s__patient(V__S, V__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
-------------------------


! [V__T : $i] : (s__hasPurpose(s__IBookstore, ( ? [V__D:$i] : ((s__instance(V__D, s__DownloadingOverNetwork) & s__instrument(V__D, s__IBookstore) & s__instance(V__T, s__Text) & s__objectTransferred(V__D, V__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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners