Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| desires |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (relatedInternalConcept wants desires) | Merge.kif 2873-2873 | wants is internally related to desires |
| (disjointRelation disapproves desires) | Mid-level-ontology.kif 8759-8759 | 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 |
| consequent |
|
|
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2886-2891 | 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 10912-10922 | 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 12498-12503 | 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) (containsFormula ?REQUEST ?FORMULA)) (desires ?AGENT ?FORMULA)) |
Merge.kif 13501-13506 | If X is an instance of requesting, Y is an agent of X, and X contains the formula Z, 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 16171-16182 | 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) (containsFormula ?THREATEN ?FORM) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?FORM))) |
Mid-level-ontology.kif 849-855 | If X is an instance of threatening, X contains the formula Y, and X ends up at Z, then Z doesn't desire Y |
| (=> (and (instance ?CLUB Club) (member ?MEM1 ?CLUB) (member ?MEM2 ?CLUB)) (exists (?DESIRE) (and (desires ?MEM1 ?DESIRE) (desires ?MEM2 ?DESIRE)))) |
Mid-level-ontology.kif 934-942 | 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 |
| (=> (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 6844-6855 | 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 8672-8680 | 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 8710-8714 | If X fears Y, then X doesn't desire Y is not true |
| (=> (hopes ?AGENT ?FORMULA) (desires ?AGENT ?FORMULA)) |
Mid-level-ontology.kif 8724-8726 | If X hopes Y will become true, then X desires Y |
| (=> (dislikes ?AGENT ?OBJECT) (desires ?AGENT (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 8752-8754 | 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 9151-9160 | 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 |
| (=> (holdsDuring ?T (attribute ?H Sleepy)) (desires ?H (holdsDuring (ImmediateFutureFn ?T) (attribute ?H Asleep)))) |
Mid-level-ontology.kif 18067-18073 | If sleepy is an attribute of X holds during Y, then X desires asleep is an attribute of X holds during immediately after Y |
| (=> (inhibits ?A ?P) (desires ?A (not (exists (?I) (instance ?I ?P))))) |
Mid-level-ontology.kif 20276-20281 | 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 20313-20320 | 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 21693-21699 | 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 21706-21712 | 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 21718-21724 | 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 21732-21740 | 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 |
| (=> (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 21746-21755 | If bored is an attribute of X, then there exists Y such that Y is an instance of intentional process, X is an agent of Y, and X desires X is not an agent of Y holds during the time of existence of Y |
| (=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C))))))) |
Mid-level-ontology.kif 24069-24088 | If X is an instance of blockade, Y is an instance of contest, X is a subprocess of Y, Z participates in Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W prevents the occurrence of translocation (3) X is an instance of W (4) V participates in Y (5) equal Z (6) V (7) V desires there exists U such that U is an instance of W (8) Z is an agent of U (9) U is a subprocess of Y |
| (=> (attribute ?X PoliticalFigure) (exists (?GOV) (and (instance ?GOV Government) (or (member ?X ?GOV) (desires ?X (member ?X ?GOV)))))) |
Mid-level-ontology.kif 24820-24828 | If political figure is an attribute of X, then there exists Y such that Y is an instance of government and X is a member of Y or X desires X is a member of Y |
| (=> (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 |
| (=> (instance ?P Prompting) (exists (?H ?A) (and (destination ?P ?H) (agent ?P ?A) (desires ?A (exists (?LC) (and (instance ?LC LinguisticCommunication) (agent ?LC ?H) (earlier ?P ?LC) (subsumesContentInstance ?LC ?P))))))) |
Mid-level-ontology.kif 32317-32329 | If X is an instance of prompting, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Z is an agent of X (4) Z desires there exists W such that W is an instance of linguistic communication (5) Y is an agent of W (6) X happens earlier than W (7) W subsumes the content of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|