| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (relatedInternalConcept wants desires) | Merge.kif 2799-2799 | wants is internally related to desires |
| (disjointRelation disapproves desires) | Mid-level-ontology.kif 8645-8645 | disapproves and desires are disjoint |
| (termFormat EnglishLanguage desires "desires") | domainEnglishFormat.kif 19260-19260 | disapproves and desires are disjoint |
| (termFormat ChineseTraditionalLanguage desires "慾望") | domainEnglishFormat.kif 19261-19261 | disapproves and desires are disjoint |
| (termFormat ChineseLanguage desires "欲望") | domainEnglishFormat.kif 19262-19262 | disapproves and desires are disjoint |
| (format EnglishLanguage desires "%1 %n{doesn't} desire%p{s} %2") | english_format.kif 91-91 | disapproves and desires are disjoint |
| antecedent |
|
|
| (=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight ?AGENT ?CUST (uses ?X ?CUST)) Possibility)) |
Dining.kif 336-350 | If X provides Y, X is a customer of Z, W is an instance of Y, and Z desires there exists V such that V is an instance of intentional process, W is a patient of V, and Z is an agent of V, then the statement Z allows Z uses W to perform task of the type X has the modal force of possibility |
| (=> (and (holdsDuring ?T (desires ?M (attribute ?V Dead))) (instance ?MURDER Murder) (agent ?MURDER ?M) (patient ?MURDER ?V) (earlier ?T (WhenFn ?MURDER))) (attribute ?MURDER Premeditated)) |
Law.kif 461-470 | If X desires dead is an attribute of Y holds during Z, W is an instance of murder, X is an agent of W, Y is a patient of W, and Z happens earlier than the time of existence of W, then premeditated is an attribute of W |
| (=> (and (instance ?DIO DefensiveInformationOperation) (agent ?DIO ?AGENT) (enemy ?AGENT ?ENEMY) (desires ?ENEMY (knows ?ENEMY ?FORMULA)) (desires ?AGENT (not (knows ?ENEMY ?FORMULA)))) (hasPurpose ?DIO (not (knows ?ENEMY ?FORMULA)))) |
MilitaryProcesses.kif 1895-1907 | If X is an instance of defensive information operation, Y is an agent of X, Y and Z are enemies of each other, Z desires Z knows W, and Y desires Z doesn't know W, then X has the purpose Z doesn't know W |
| consequent |
|
|
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2812-2817 | If X wants Y and Y is an instance of object, then X desires X possesses Y |
| (=> (and (instance ?LEAVE Quitting) (instance ?ORG Organization) (agent ?LEAVE ?PERSON) (patient ?LEAVE ?ORG)) (desires ?PERSON (holdsDuring (EndFn (WhenFn ?LEAVE)) (not (member ?PERSON ?ORG))))) |
Merge.kif 10823-10833 | If X is an instance of quitting, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z desires Z is not a member of Y holds during the end of the time of existence of X |
| (=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 12384-12389 | If X is an instance of confining, Y is a patient of X, and Y is an instance of human, then Y doesn't desire Y is not a patient of X |
| (=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA)) |
Merge.kif 13376-13382 | If X is an instance of requesting, Y is an agent of X, Z is a patient of X, and Z is an instance of formula, then Y desires 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 16026-16037 | 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 |
| (=> (and (instance ?THREATEN Threatening) (patient ?THREATEN ?PROP) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?PROP))) |
Mid-level-ontology.kif 856-861 | If X is an instance of threatening, Y is a patient of X, and X ends up at Z, then Z doesn't desire Y |
| (=> (and (instance ?P Punishing) (agent ?P ?A) (patient ?P ?F) (destination ?P ?D)) (knows ?A (not (desires ?D ?F)))) |
Mid-level-ontology.kif 868-876 | If X is an instance of punishing, Y is an agent of X, Z is a patient of X, and X ends up at W, then Y knows W doesn't desire Z |
| (=> (and (instance ?CLUB Club) (member ?MEM1 ?CLUB) (member ?MEM2 ?CLUB)) (exists (?DESIRE) (and (desires ?MEM1 ?DESIRE) (desires ?MEM2 ?DESIRE)))) |
Mid-level-ontology.kif 940-948 | If X is an instance of club, Y is a member of X, and Z is a member of X, then there exists W such that Y desires W and Z desires W |
| (=> (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 (desires ?A ?SUB)))))) |
Mid-level-ontology.kif 4990-5005 | 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 desire W |
| (=> (and (instance ?I Itching) (located ?I ?P) (part ?P ?H) (experiencer ?I ?H)) (desires ?H (exists (?S) (and (instance ?S Scratching) (during (WhenFn ?S) (WhenFn ?I)) (located ?S ?P))))) |
Mid-level-ontology.kif 6681-6692 | If X is an instance of pruritus, X is located at Y, Y is a part of Z, and Z experiences X, then Z desires there exists W such that W is an instance of scratching, the time of existence of W takes place during the time of existence of X, and W is located at Y |
| (=> (enjoys ?AGENT ?PROCESS) (desires ?AGENT (exists (?INSTANCE) (and (instance ?INSTANCE ?PROCESS) (or (agent ?INSTANCE ?AGENT) (experiencer ?INSTANCE ?AGENT)))))) |
Mid-level-ontology.kif 8555-8563 | If X enjoys Y, then X desires there exists Z such that Z is an instance of Y and X is an agent of Z or X experiences Z |
| (=> (fears ?A ?F) (not (desires ?A (truth ?F True)))) |
Mid-level-ontology.kif 8596-8600 | If X fears Y, then X doesn't desire Y is not true |
| (=> (hopes ?AGENT ?FORMULA) (desires ?AGENT ?FORMULA)) |
Mid-level-ontology.kif 8610-8612 | If X hopes Y will become true, then X desires Y |
| (=> (dislikes ?AGENT ?OBJECT) (desires ?AGENT (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 8638-8640 | If X dislikes Y, then X desires X doesn't possess Y |
| (=> (and (instance ?SALE OfferingForSale) (agent ?SALE ?AGENT)) (desires ?AGENT (exists (?SELL ?OBJ) (and (instance ?SELL Selling) (patient ?SELL ?OBJ) (agent ?SELL ?AGENT))))) |
Mid-level-ontology.kif 9037-9046 | If X is an instance of offering for sale and Y is an agent of X, then Y desires there exist Z, W such that Z is an instance of selling, W is a patient of Z, and Y is an agent of Z |
| (=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING))) |
Mid-level-ontology.kif 14435-14442 | 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 or Y desires Z |
| (=> (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 14631-14641 | 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 or Y desires Z holds during the time of existence of X |
| (=> (holdsDuring ?T (attribute ?H Sleepy)) (desires ?H (holdsDuring (ImmediateFutureFn ?T) (attribute ?H Asleep)))) |
Mid-level-ontology.kif 17997-18003 | If sleepy is an attribute of X holds during Y, then X desires asleep is an attribute of X holds during immediately after Y |
| (=> (and (instance ?I Insomnia) (experiencer ?I ?H)) (exists (?S ?D ?D2) (and (instance ?S Sleeping) (experiencer ?S ?H) (duration (WhenFn ?S) ?D) (desires ?H (and (duration (WhenFn ?S) ?D2) (greaterThan ?D2 ?D)))))) |
Mid-level-ontology.kif 18010-18022 | If X is an instance of insomnia and Y experiences X, then there exist Z, W, V such that Z is an instance of sleeping, Y experiences Z, duration of the time of existence of Z is W, Y desires duration of the time of existence of Z is V, and V is greater than W |
| (=> (inhibits ?A ?P) (desires ?A (not (exists (?I) (instance ?I ?P))))) |
Mid-level-ontology.kif 20302-20307 | If X inhibits Y, then X desires there doesn't exist Z such that Z is an instance of Y |
| (=> (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (not (desires ?COMP (exists (?P) (and (instance ?P ?PHYS) (involvedInEvent ?P ?COMP)))))) |
Mid-level-ontology.kif 20339-20346 | If equal X and Y is preventing Z, then Y doesn't desire there doesn't exist W such that W is an instance of Z and Y is an involved in event of W |
| (=> (attribute ?A Hungry) (desires ?A (exists (?E) (and (instance ?E Eating) (agent ?E ?A))))) |
Mid-level-ontology.kif 21759-21765 | If hungry is an attribute of X, then X desires there exists Y such that Y is an instance of eating and X is an agent of Y |
| (=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A))))) |
Mid-level-ontology.kif 21772-21778 | If thirsty is an attribute of X, then X desires there exists Y such that Y is an instance of drinking and X is an agent of Y |
| (=> (attribute ?A Tired) (desires ?A (exists (?S) (and (instance ?S Sleeping) (agent ?S ?A))))) |
Mid-level-ontology.kif 21784-21790 | If tired is an attribute of X, then X desires there exists Y such that Y is an instance of sleeping and X is an agent of Y |
| (=> (attribute ?ORG Greedy) (exists (?OBJ) (and (instance ?ORG Organism) (instance ?OBJ Physical) (desires ?ORG (possesses ?ORG ?OBJ)) (not (modalAttribute (possesses ?ORG ?OBJ) Necessity))))) |
Mid-level-ontology.kif 21798-21806 | If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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 is open source software produced by Articulate Software and its partners