(=>
(and
(attribute ?A AppraisalAsJustTreatment)
(instance ?AJT AppraisalProcess)
(agent ?AJT ?A))
(exists (?P ?A2)
(and
(instance ?P Process)
(refers ?AJT ?P)
(agent ?P ?A2)
(not
(equal ?A ?A2))
(patient ?P ?A)
(wants ?A ?P)))) |
emotion.kif 374-387 |
|
(=>
(and
(attribute ?A AppraisalAsUnjustTreatment)
(instance ?AUJ AppraisalProcess)
(agent ?AUJ ?A))
(exists (?P ?A2)
(and
(instance ?P Process)
(refers ?AUJ ?P)
(agent ?P ?A2)
(not
(equal ?A ?A2))
(patient ?P ?A)
(not
(wants ?A ?P))))) |
emotion.kif 349-363 |
|
(=>
(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 30622-30634 |
|
(=>
(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 295-306 |
|
(=>
(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 30735-30747 |
|
(=>
(and
(instance ?EXPRESS ExpressingApproval)
(agent ?EXPRESS ?AGENT)
(patient ?EXPRESS ?THING))
(or
(wants ?AGENT ?THING)
(desires ?AGENT ?THING))) |
Mid-level-ontology.kif 13846-13853 |
|
(=>
(and
(instance ?HELPING Helping)
(agent ?HELPING ?AGENT)
(result ?HELPING ?RESULT))
(exists (?PATIENT)
(and
(not
(equal ?AGENT ?PATIENT))
(or
(patient ?HELPING ?PATIENT)
(experiencer ?HELPING ?PATIENT))
(wants ?PATIENT ?RESULT)))) |
MilitaryProcesses.kif 1419-1431 |
|
(=>
(and
(instance ?PURSUE Pursuing)
(agent ?PURSUE ?AGENT)
(patient ?PURSUE ?OBJ))
(holdsDuring ?PURSUE
(wants ?AGENT ?OBJ))) |
Merge.kif 12960-12965 |
|
(=>
(and
(instance ?R Resigning)
(agent ?R ?A))
(wants ?A ?R)) |
Mid-level-ontology.kif 17861-17865 |
|
(=>
(and
(instance ?S Spamming)
(result ?S ?SPAM)
(instance ?S Spam)
(instance ?H Human)
(destination ?S ?H))
(not
(modalAttribute
(wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4210-4220 |
|
(=>
(and
(instance ?THANK Thanking)
(agent ?THANK ?AGENT)
(patient ?THANK ?THING)
(destination ?THANK ?PERSON))
(and
(instance ?PERSON Human)
(or
(holdsDuring
(WhenFn ?THANK)
(wants ?AGENT ?THING))
(holdsDuring
(WhenFn ?THANK)
(desires ?AGENT ?THING))))) |
Mid-level-ontology.kif 14044-14054 |
|
(=>
(and
(prosecutor ?P ?A)
(defendant ?P ?D))
(desires ?A
(exists (?L)
(and
(instance ?L LegalDecision)
(refers ?L ?P)
(not
(wants ?D ?L)))))) |
Law.kif 318-328 |
|
(=>
(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 1012-1020 |
|
(=>
(attribute ?H Anorexia)
(exists (?E)
(and
(instance ?E Eating)
(agent ?E ?H)
(needs ?H ?E)
(not
(wants ?H ?E))))) |
Medicine.kif 5025-5033 |
|
(=>
(attribute ?H Bulimia)
(exists (?E ?P)
(and
(instance ?E Eating)
(or
(instance ?P Vomiting)
(instance ?P Defecating))
(agent ?P ?H)
(wants ?H ?P)
(earlier
(WhenFn ?E)
(WhenFn ?P))))) |
Medicine.kif 4998-5010 |
|
(=>
(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 4013-4026 |
|
(=>
(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 30589-30600 |
|
(=>
(benefits ?A ?B)
(wants ?B ?A)) |
Mid-level-ontology.kif 30721-30723 |
|
(=>
(holdsDuring ?T
(attribute ?A Fear))
(believes ?A
(modalAttribute
(exists (?P)
(and
(not
(wants ?A ?P))
(before ?T
(WhenFn ?P)))) Likely))) |
emotion.kif 1025-1036 |
|
(=>
(holdsDuring ?T
(attribute ?H Narcolepsy))
(exists (?S)
(and
(instance ?S Sleeping)
(experiencer ?S ?H)
(during
(WhenFn ?S) ?T)
(not
(wants ?H ?S))))) |
Medicine.kif 4771-4781 |
|
(=>
(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 13891-13899 |
|
(=>
(instance ?R Raping)
(exists (?A)
(and
(experiencer ?R ?A)
(not
(wants ?A ?R))))) |
Mid-level-ontology.kif 25223-25229 |
|
(=>
(needs ?AGENT ?OBJECT)
(wants ?AGENT ?OBJECT)) |
Merge.kif 2751-2753 |
|
(=>
(punishes ?A ?H)
(exists (?O ?POS ?PROC)
(and
(occupiesPosition ?A ?POS ?O)
(agent ?PROC ?A)
(wants ?O ?PROC)))) |
Law.kif 160-166 |
|
(=>
(punishes ?A ?H)
(exists (?P)
(and
(agent ?P ?H)
(not
(wants ?A ?P))))) |
Law.kif 147-153 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |