desires |
appearance as argument number 1 |
![]() |
(documentation desires ChineseLanguage "(desires ?AGENT ?FORMULA) 的意思是 ?AGENT 想要 实现 ?FORMULA 所表达的事态。注:这并不意味着施事体想要的东西不能成真。另外要注意的是 desires 和 wants 的区别只在于前者是一个 PropositionalAttitude, 而 wants 是一个 ObjectAttitude。") | chinese_format.kif 1936-1938 | |
(documentation desires EnglishLanguage "(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude.") | Merge.kif 2802-2806 | |
(documentation desires JapaneseLanguage "(desires ?AGENT ?FORMULA) とは、?AGENT が ?FORMULA によって表現された事態の状態をもたらすことを望んでいることを意味する。 注1:エージェント が望むものが既に正しくないという結果はない。 注2:また、desires は前者が PropositionalAttitude であるのに対し、wants は ObjectAttitude であるという点でのみ wants と区別される。") | japanese_format.kif 565-568 | |
(domain desires 1 CognitiveAgent) | Merge.kif 2799-2799 | desires の数値 1 引数は 認識エージェント の instance では |
(domain desires 2 Formula) | Merge.kif 2800-2800 | desires の数値 2 引数は 公式 の instance では |
(instance desires BinaryPredicate) | Merge.kif 2796-2796 | desires は 2進述語 の instance では |
(instance desires PropositionalAttitude) | Merge.kif 2795-2795 | desires は 命題態度 の instance では |
(relatedInternalConcept desires wants) | Merge.kif 2798-2798 | desires は wants に internally 関連して |
(subrelation desires inScopeOfInterest) | Merge.kif 2797-2797 | desires は inScopeOfInterest の subrelation では |
appearance as argument number 2 |
![]() |
(disjointRelation disapproves desires) | Mid-level-ontology.kif 8604-8604 | disapproves と desires は disjoint では |
(format ChineseLanguage desires "%1 %n{doesn't} desires %2") | chinese_format.kif 91-91 | disapproves と desires は disjoint では |
(format EnglishLanguage desires "%1 %n{doesn't} desire%p{s} %2") | english_format.kif 91-91 | disapproves と desires は disjoint では |
(format FrenchLanguage desires "%1 %n{ne} desire %n{pas} %2") | french_format.kif 68-68 | disapproves と desires は disjoint では |
(format ItalianLanguage desires "%1 %n{non} desidera%p{s} %2") | relations-it.txt 70-70 | disapproves と desires は disjoint では |
(format JapaneseLanguage desires "%1 が %2 を desire%p{s} %n{ない}") | japanese_format.kif 1894-1894 | disapproves と desires は disjoint では |
(format PortugueseLanguage desires "%1 %n{nao} deseja %n %2") | portuguese_format.kif 20-20 | disapproves と desires は disjoint では |
(format cb desires "%1 %n kagustuhan %2") | relations-cb.txt 104-104 | disapproves と desires は disjoint では |
(format cz desires "%1 %n{doesn't} desire%p{s} %2") | relations-cz.txt 98-98 | disapproves と desires は disjoint では |
(format de desires "%1 wuenscht %2 %n{nicht}") | relations-de.txt 101-101 | disapproves と desires は disjoint では |
(format hi desires "%1 %2 kii ichchha %n{nahiin} karataa hai") | relations-hindi.txt 111-111 | disapproves と desires は disjoint では |
(format ro desires "%1 %n{nu} desire%t{doreºte} %2") | relations-ro.kif 87-87 | disapproves と desires は disjoint では |
(format sv desires "%1 önskar %n{inte} %2") | relations-sv.txt 67-67 | disapproves と desires は disjoint では |
(format tg desires "%1 %n gusto %2") | relations-tg.txt 156-156 | disapproves と desires は disjoint では |
(relatedInternalConcept wants desires) | Merge.kif 2775-2775 | wants は desires に internally 関連して |
(termFormat ChineseLanguage desires "欲望") | domainEnglishFormat.kif 19269-19269 | wants は desires に internally 関連して |
(termFormat ChineseLanguage desires "渴望") | chinese_format.kif 92-92 | wants は desires に internally 関連して |
(termFormat ChineseTraditionalLanguage desires "慾望") | domainEnglishFormat.kif 19268-19268 | wants は desires に internally 関連して |
(termFormat EnglishLanguage desires "desires") | domainEnglishFormat.kif 19267-19267 | wants は desires に internally 関連して |
(termFormat de desires "wuenscht") | terms-de.txt 28-28 | wants は desires に internally 関連して |
(termFormat tg desires "gusto") | relations-tg.txt 157-157 | wants は desires に internally 関連して |
antecedent |
![]() |
consequent |
![]() |
(=> (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 31426-31438 | |
(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT))) |
Government.kif 1812-1816 |
|
(=> (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 300-311 | |
(=> (and (deviceOS ?C ?OS) (instance ?CI ?C) (instance ?OSI ?OS) (manufacturer ?C ?ORG)) (desires ?ORG (and (programRunning ?PROC ?OSI) (computerRunning ?PROC ?CI)))) |
ComputingBrands.kif 734-743 | |
(=> (and (instance ?AI AutoImmuneDisorder) (experiencer ?AI ?H)) (exists (?A ?D ?C) (and (instance ?A Antibody) (part ?A ?H) (instance ?C Cell) (part ?C ?H) (instance ?D Destruction) (instrument ?D ?A) (not (desires ?H (and (instance ?D Destruction) (instrument ?D ?A))))))) |
Medicine.kif 2198-2214 |
|
(=> (and (instance ?ATC AddToCart) (instance ?USER AutonomousAgent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 1312-1324 | |
(=> (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 23418-23437 |
|
(=> (and (instance ?C ComputerBackingUp) (dataProcessed ?C ?DD) (instance ?DD DigitalData) (agent ?C ?A)) (desires ?A (exists (?T) (and (earlier (WhenFn ?C) ?T) (holdsDuring ?T (exists (?PROC) (and (instance ?PROC ComputerProcess) (capability ?PROC dataProcessed ?DD)))))))) |
ComputingBrands.kif 3492-3506 |
|
(=> (and (instance ?CLUB Club) (member ?MEM1 ?CLUB) (member ?MEM2 ?CLUB)) (exists (?DESIRE) (and (desires ?MEM1 ?DESIRE) (desires ?MEM2 ?DESIRE)))) |
Mid-level-ontology.kif 937-945 | |
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 12362-12367 | |
(=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING))) |
Mid-level-ontology.kif 14281-14288 | |
(=> (and (instance ?F (FailureFn ?C)) (agent ?F ?A)) (and (desires ?A (exists (?I) (and (instance ?I ?C) (agent ?I ?A)))) (not (exists (?I) (and (instance ?I ?C) (during (WhenFn ?I) (WhenFn ?F)) (agent ?I ?A)))))) |
ComputingBrands.kif 4512-4527 | |
(=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2323-2330 | |
(=> (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 17834-17846 | |
(=> (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 6662-6673 | |
(=> (and (instance ?J Jailbreaking) (instance ?D Computer) (instance ?D ?CLASS) (patient ?J ?D) (manufacturer ?CLASS ?C)) (not (desires ?C (exists (?A) (agent ?J ?A))))) |
ComputingBrands.kif 3472-3482 | |
(=> (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 10803-10813 | |
(=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM))))) |
UXExperimentalTerms.kif 313-325 | |
(=> (and (instance ?P CommunistParty) (member ?M ?P) (instance ?A GeopoliticalArea)) (desires ?M (governmentType ?A CommunistState))) |
Government.kif 2224-2230 |
|
(=> (and (instance ?P Punishing) (agent ?P ?A) (patient ?P ?F) (destination ?P ?D)) (knows ?A (not (desires ?D ?F)))) |
Mid-level-ontology.kif 865-873 | |
(=> (and (instance ?PSYOP PsychologicalOperation) (agent ?PSYOP ?AGENT) (patient ?PSYOP ?TARGET)) (hasPurpose ?PSYOP (exists (?PROCESS ?RESULT) (and (agent ?PROCESS ?TARGET) (result ?PROCESS ?RESULT) (desires ?AGENT ?RESULT))))) |
MilitaryProcesses.kif 1184-1194 | |
(=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA)) |
Merge.kif 13354-13360 | |
(=> (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 14479-14489 | |
(=> (and (instance ?THREATEN Threatening) (patient ?THREATEN ?PROP) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?PROP))) |
Mid-level-ontology.kif 853-858 | |
(=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ)))) |
UXExperimentalTerms.kif 61-68 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |