consequent

(=>     (needs ?AGENT ?OBJECT)     (wants ?AGENT ?OBJECT))	Merge.kif 2792-2794	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 13061-13066	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 ?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
(=>     (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 14478-14486	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)         (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
(=>     (and         (instance ?R Resigning)         (agent ?R ?A))     (wants ?A ?R))	Mid-level-ontology.kif 18500-18504	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 26487-26493	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 32157-32168	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 32190-32202	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 32294-32296	If X is a beneficiary of Y, then X wants Y
(=>     (suffers ?A ?B)     (not         (wants ?B ?A)))	Mid-level-ontology.kif 32298-32301	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 32308-32320	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 1012-1020	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
(=>     (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 4021-4034	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 4766-4776	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
(=>     (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 4993-5005	If bulimia nervosa is an attribute of X, then there exist Y, Z such that Y is an instance of eating, Z is an instance of vomiting or Z is an instance of Defecating, X is an agent of Z, X wants Z, and the time of existence of Y happens earlier than the time of existence of Z
(=>     (attribute ?H Anorexia)     (exists (?E)         (and             (instance ?E Eating)             (agent ?E ?H)             (needs ?H ?E)             (not                 (wants ?H ?E)))))	Medicine.kif 5020-5028	If anorexia nervosa is an attribute of X, then there exists Y such that Y is an instance of eating, X is an agent of Y, X needs Y, and X doesn't want Y
(=>     (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 1438-1450	If X is an instance of helping, Y is an agent of X, and Z is a result of X, then there exists W such that equal Y, W, W is a patient of X or W experiences X, and W wants Z
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