(=>
(needs ?AGENT ?OBJECT)
(wants ?AGENT ?OBJECT)) |
Merge.kif 2866-2868 |
If X needs Y, then X wants Y |
(=>
(and
(instance ?PURSUE Pursuing)
(agent ?PURSUE ?AGENT)
(patient ?PURSUE ?OBJ))
(holdsDuring ?PURSUE
(wants ?AGENT ?OBJ))) |
Merge.kif 13175-13180 |
If X is an instance of pursuing, Y is an agent of X, and Z is a patient of X, then Y wants Z holds during X |
(=>
(and
(instance ?P Punishing)
(agent ?P ?A)
(causes ?P ?P2)
(destination ?P ?D))
(knows ?A
(not
(wants ?D ?P2)))) |
Mid-level-ontology.kif 862-870 |
If X is an instance of punishing, Y is an agent of X, X causes Z, and X ends up at W, then Y knows W doesn't want Z |
(=>
(instance ?S Sieve)
(hasPurpose ?S
(exists (?REMOVE ?MIX ?SUB ?HOLE ?A)
(and
(instance ?REMOVE Removing)
(instance ?MIX Mixture)
(instance ?SUB Substance)
(part ?SUB ?MIX)
(patient ?REMOVE ?SUB)
(part ?HOLE ?S)
(instrument ?REMOVE ?HOLE)
(instance ?A Human)
(agent ?REMOVE ?A)
(not
(wants ?A ?SUB)))))) |
Mid-level-ontology.kif 5139-5154 |
If X is an instance of sieve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of removing (3) Z is an instance of mixture (4) W is an instance of substance (5) W is a part of Z (6) W is a patient of Y (7) V is a part of X (8) V is an instrument for Y (9) U is an instance of human (10) U is an agent of Y (11) U doesn't want W |
(=>
(and
(instance ?EXPRESS ExpressingApproval)
(agent ?EXPRESS ?AGENT)
(patient ?EXPRESS ?THING))
(wants ?AGENT ?THING)) |
Mid-level-ontology.kif 14564-14569 |
If X is an instance of expressing approval, Y is an agent of X, and Z is a patient of X, then Y wants Z |
(=>
(instance ?C Congratulating)
(exists (?P ?A ?D)
(and
(destination ?C ?D)
(agent ?P ?D)
(agent ?C ?A)
(wants ?A ?P)
(refers ?C ?P)))) |
Mid-level-ontology.kif 14605-14613 |
If X is an instance of congratulating, then there exist Y, Z, W such that X ends up at W, W is an agent of Y, Z is an agent of X, Z wants Y, and X includes a reference to Y |
(=>
(and
(instance ?THANK Thanking)
(agent ?THANK ?AGENT)
(patient ?THANK ?THING)
(destination ?THANK ?PERSON))
(and
(instance ?PERSON Human)
(holdsDuring
(WhenFn ?THANK)
(wants ?AGENT ?THING)))) |
Mid-level-ontology.kif 14704-14714 |
If X is an instance of thanking, Y is an agent of X, Z is a patient of X, and X ends up at W, then W is an instance of human and Y wants Z holds during the time of existence of X |
(=>
(and
(instance ?R Resigning)
(agent ?R ?A))
(wants ?A ?R)) |
Mid-level-ontology.kif 18551-18555 |
If X is an instance of resigning and Y is an agent of X, then Y wants X |
(=>
(instance ?R Raping)
(exists (?A)
(and
(experiencer ?R ?A)
(not
(wants ?A ?R))))) |
Mid-level-ontology.kif 26387-26393 |
If X is an instance of raping, then there exists Y such that Y experiences X and Y doesn't want X |
(=>
(attribute ?M CoinOperated)
(hasPurpose ?M
(exists (?C ?FT ?A ?ACT)
(and
(instance ?C CurrencyCoin)
(instance ?FT FinancialTransaction)
(destination ?FT ?M)
(patient ?FT ?C)
(origin ?FT ?A)
(causes ?FT ?ACT)
(wants ?A ?ACT))))) |
Mid-level-ontology.kif 32085-32096 |
If coin operated is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of coin (3) Z is an instance of financial transaction (4) Z ends up at X (5) Y is a patient of Z (6) Z originates at W (7) Z causes V (8) W wants V |
(=>
(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 |
(=>
(benefits ?A ?B)
(wants ?B ?A)) |
Mid-level-ontology.kif 32213-32215 |
If X is a beneficiary of Y, then X wants Y |
(=>
(suffers ?A ?B)
(not
(wants ?B ?A))) |
Mid-level-ontology.kif 32217-32220 |
If X suffers from Y, then X doesn't want Y |
(=>
(and
(instance ?A Apologizing)
(agent ?A ?AG)
(destination ?A ?P))
(exists (?ACT)
(and
(suffers ?ACT ?P)
(agent ?ACT ?AG)
(holdsDuring
(WhenFn ?A)
(not
(wants ?AG ?ACT)))))) |
Mid-level-ontology.kif 32227-32239 |
If X is an instance of apologizing, Y is an agent of X, and X ends up at Z, then there exists W such that Z suffers from W, Y is an agent of W, and Y doesn't want W holds during the time of existence of X |
(=>
(and
(instance ?S Spamming)
(result ?S ?SPAM)
(instance ?S Spam)
(instance ?H Human)
(destination ?S ?H))
(not
(modalAttribute
(wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4116-4126 |
If X is an instance of spamming, Y is a result of X, X is an instance of spam, Z is an instance of human, and X ends up at Z, then the statement Z doesn't want Y doesn't have the modal force of likely |
(=>
(and
(subjectiveAttribute ?X Favorite ?AGENT)
(instance ?X ?CLASS))
(exists (?Y)
(and
(not
(subjectiveAttribute ?Y Favorite ?AGENT))
(instance ?Y ?CLASS)
(prefers ?AGENT
(wants ?AGENT ?X)
(wants ?AGENT ?Y))))) |
Dining.kif 1015-1023 |
If X believes Y is favorite and Y is an instance of Z, then there exists W such that X believes W is favorite, W is an instance of Z, and X prefers X wants Y over X wants W |
(=>
(and
(parent ?CHILD ?PARENT)
(or
(instance ?CHILD HumanChild)
(instance ?CHILD HumanBaby)))
(modalAttribute
(exists (?CARE)
(and
(instance ?CARE ChildCareService)
(wants ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1907-1918 |
If X is a parent of Y and Y is an instance of human child or Y is an instance of human baby, then the statement there exists Z such that Z is an instance of child-care service and X wants Z has the modal force of possibility |
(=>
(rewards ?A ?H)
(exists (?P)
(and
(agent ?P ?H)
(wants ?A ?P)))) |
Law.kif 104-109 |
If X rewards Y, then there exists Z such that Y is an agent of Z and X wants Z |
(=>
(rewards ?A ?H)
(exists (?O ?POS ?PROC)
(and
(occupiesPosition ?A ?POS ?O)
(agent ?PROC ?A)
(wants ?O ?PROC)))) |
Law.kif 116-122 |
If X rewards Y, then there exist Z, W, V such that X holds the position of W in Z, X is an agent of V, and Z wants V |
(=>
(punishes ?A ?H)
(exists (?P)
(and
(agent ?P ?H)
(not
(wants ?A ?P))))) |
Law.kif 147-153 |
If X punishes Y, then there exists Z such that Y is an agent of Z and X doesn't want Z |
(=>
(punishes ?A ?H)
(exists (?O ?POS ?PROC)
(and
(occupiesPosition ?A ?POS ?O)
(agent ?PROC ?A)
(wants ?O ?PROC)))) |
Law.kif 160-166 |
If X punishes Y, then there exist Z, W, V such that X holds the position of W in Z, X is an agent of V, and Z wants V |
(=>
(and
(defenseLawyer ?P ?A)
(defendant ?P ?D))
(desires ?A
(not
(exists (?L)
(and
(instance ?L LegalDecision)
(refers ?L ?P)
(not
(wants ?D ?L))))))) |
Law.kif 275-286 |
If X is the defense lawyer in Y and Z is the defendant in Y, then X desires there doesn't exist W such that W is an instance of legal decision, W includes a reference to Y, and Z doesn't want W |
(=>
(and
(prosecutor ?P ?A)
(defendant ?P ?D))
(desires ?A
(exists (?L)
(and
(instance ?L LegalDecision)
(refers ?L ?P)
(not
(wants ?D ?L)))))) |
Law.kif 299-309 |
If X is the prosecutor in Y and Z is the defendant in Y, then X desires there exists W such that W is an instance of legal decision, W includes a reference to Y, and Z doesn't want W |
(=>
(attribute ?H ObsessiveCompulsiveDisorder)
(exists (?COL ?C)
(and
(memberType ?COL ?C)
(or
(subclass ?C Investigating)
(subclass ?C Cleaning))
(=>
(instance ?CI ?C)
(and
(agent ?CI ?H)
(not
(wants ?H ?CI))))))) |
Medicine.kif 4059-4072 |
If obsessive–compulsive disorder is an attribute of X, then there exist Y, Z such that Z is a member type of Y, Z is a subclass of investigating or Z is a subclass of cleaning, W is an instance of ZX is an agent of W, and X doesn't want W |
(=>
(holdsDuring ?T
(attribute ?H Narcolepsy))
(exists (?S)
(and
(instance ?S Sleeping)
(experiencer ?S ?H)
(during
(WhenFn ?S) ?T)
(not
(wants ?H ?S))))) |
Medicine.kif 4804-4814 |
If narcolepsy is an attribute of X holds during Y, then there exists Z such that Z is an instance of sleeping, X experiences Z, the time of existence of Z takes place during Y, and X doesn't want Z |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
wants