TreeView Knowledge Base Browser

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 X Z 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: