desires |
(=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (desires ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1890-1900 | |
(=> (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 (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30956-30971 |
|
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30898-30908 | |
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30973-30987 |
|
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?G) (and (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G))))) |
Mid-level-ontology.kif 30912-30921 | |
(=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2777-2782 | |
(=> (and (watchingListings ?USER ?COLL ?SITE) (instance ?LISTING WebListing) (instance ?OBJ Object) (patient ?LISTING ?OBJ) (member ?LISTING ?COLL)) (modalAttribute (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))) Likely)) |
UXExperimentalTerms.kif 1257-1271 | |
(=> (and (webcart ?USER ?COLL ?SITE) (instance ?OBJ Object) (member ?OBJ ?COLL)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 690-700 | |
(=> (attribute ?A Bored) (exists (?DO) (and (instance ?DO IntentionalProcess) (agent ?DO ?A) (holdsDuring (WhenFn ?DO) (desires ?A (not (agent ?DO ?A))))))) |
Mid-level-ontology.kif 19828-19837 | |
(=> (attribute ?A Hungry) (desires ?A (exists (?E) (and (instance ?E Eating) (agent ?E ?A))))) |
Mid-level-ontology.kif 19791-19797 | |
(=> (attribute ?A Schadenfreude) (exists (?A2 ?P) (and (causesProposition ?P (attribute ?A Schadenfreude)) (not (equal ?A ?A2)) (not (desires ?A2 ?P))))) |
emotion.kif 766-775 | |
(=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A))))) |
Mid-level-ontology.kif 19804-19810 | |
(=> (attribute ?A Tired) (desires ?A (exists (?S) (and (instance ?S Sleeping) (agent ?S ?A))))) |
Mid-level-ontology.kif 19816-19822 | |
(=> (attribute ?X PoliticalFigure) (exists (?GOV) (and (instance ?GOV Government) (or (member ?X ?GOV) (desires ?X (member ?X ?GOV)))))) |
Mid-level-ontology.kif 22543-22551 | |
(=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 464-471 | |
(=> (dislikes ?AGENT ?OBJECT) (desires ?AGENT (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7432-7434 | |
(=> (enjoys ?AGENT ?PROCESS) (desires ?AGENT (exists (?INSTANCE) (and (instance ?INSTANCE ?PROCESS) (or (agent ?INSTANCE ?AGENT) (experiencer ?INSTANCE ?AGENT)))))) |
Mid-level-ontology.kif 7376-7384 | |
(=> (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (not (desires ?COMP (exists (?P) (and (instance ?P ?PHYS) (involvedInEvent ?P ?COMP)))))) |
Mid-level-ontology.kif 18408-18415 | |
(=> (fears ?AGENT ?FORMULA) (not (desires ?AGENT ?FORMULA))) |
Mid-level-ontology.kif 7393-7396 | |
(=> (holdsDuring ?T (and (located ?H ?L) (airTemperature ?L (MeasureFn ?T ?TU)) (attribute ?H FeelingCold))) (desires ?H (holdsDuring ?T (and (airTemperature ?L (MeasureFn ?T2 ?TU)) (greaterThan ?T2 ?T))))) |
emotion.kif 1865-1877 | |
(=> (holdsDuring ?T (and (located ?H ?L) (airTemperature ?L (MeasureFn ?T ?TU)) (attribute ?H FeelingHot))) (desires ?H (holdsDuring ?T (and (airTemperature ?L (MeasureFn ?T2 ?TU)) (greaterThan ?T ?T2))))) |
emotion.kif 1902-1914 | |
(=> (holdsDuring ?T (attribute ?H Insomnia)) (holdsDuring ?T (and (desires ?H (attribute ?H Asleep)) (not (attribute ?H Asleep))))) |
Medicine.kif 2095-2103 | |
(=> (holdsDuring ?T (attribute ?H RectalTenesmus)) (holdsDuring ?T (and (desires ?H (exists (?D) (and (instance ?D Defecation) (agent ?D ?H)))) (not (needs ?H (exists (?D) (and (instance ?D Defecation) (agent ?D ?H)))))))) |
Medicine.kif 5110-5125 |
|
(=> (holdsDuring ?T (attribute ?H Sleepy)) (desires ?H (holdsDuring (ImmediateFutureFn ?T) (attribute ?H Asleep)))) |
Mid-level-ontology.kif 16434-16440 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |