Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  desires

 Sigma KEE - desires
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 によって表現された事態の状態をもたらすことを望んでいることを意味する。　注１：エージェント が望むものが既に正しくないという結果はない。　注2：また、desires は前者が PropositionalAttitude であるのに対し、wants は ObjectAttitude であるという点でのみ wants と区別される。") japanese_format.kif 565-568
(domain desires 1 CognitiveAgent) Merge.kif 2799-2799 域 慾望, 1 and CognitiveAgent
(domain desires 2 Formula) Merge.kif 2800-2800 域 慾望, 2 and Formula
(instance desires BinaryPredicate) Merge.kif 2796-2796 例 慾望 and BinaryPredicate
(instance desires PropositionalAttitude) Merge.kif 2795-2795 例 慾望 and PropositionalAttitude
(relatedInternalConcept desires wants) Merge.kif 2798-2798 相關的內部概念 慾望 and 想要
(subrelation desires inScopeOfInterest) Merge.kif 2797-2797 子關係 慾望 and 在感興趣的範圍內

appearance as argument number 2
-------------------------


(disjointRelation disapproves desires) Mid-level-ontology.kif 8604-8604 不相交的關係 不贊成 and 慾望
(format ChineseLanguage desires "%1 %n{doesn't} desires %2") chinese_format.kif 91-91 不相交的關係 不贊成 and 慾望
(format EnglishLanguage desires "%1 %n{doesn't} desire%p{s} %2") english_format.kif 91-91 不相交的關係 不贊成 and 慾望
(format FrenchLanguage desires "%1 %n{ne} desire %n{pas} %2") french_format.kif 68-68 不相交的關係 不贊成 and 慾望
(format ItalianLanguage desires "%1 %n{non} desidera%p{s} %2") relations-it.txt 70-70 不相交的關係 不贊成 and 慾望
(format JapaneseLanguage desires "%1 が %2 を desire%p{s} %n{ない}") japanese_format.kif 1894-1894 不相交的關係 不贊成 and 慾望
(format PortugueseLanguage desires "%1 %n{nao} deseja %n %2") portuguese_format.kif 20-20 不相交的關係 不贊成 and 慾望
(format cb desires "%1 %n kagustuhan %2") relations-cb.txt 104-104 不相交的關係 不贊成 and 慾望
(format cz desires "%1 %n{doesn't} desire%p{s} %2") relations-cz.txt 98-98 不相交的關係 不贊成 and 慾望
(format de desires "%1 wuenscht %2 %n{nicht}") relations-de.txt 101-101 不相交的關係 不贊成 and 慾望
(format hi desires "%1 %2 kii ichchha %n{nahiin} karataa hai") relations-hindi.txt 111-111 不相交的關係 不贊成 and 慾望
(format ro desires "%1 %n{nu} desire%t{doreºte} %2") relations-ro.kif 87-87 不相交的關係 不贊成 and 慾望
(format sv desires "%1 önskar %n{inte} %2") relations-sv.txt 67-67 不相交的關係 不贊成 and 慾望
(format tg desires "%1 %n gusto %2") relations-tg.txt 156-156 不相交的關係 不贊成 and 慾望
(relatedInternalConcept wants desires) Merge.kif 2775-2775 相關的內部概念 想要 and 慾望
(termFormat ChineseLanguage desires "欲望") domainEnglishFormat.kif 19269-19269 相關的內部概念 想要 and 慾望
(termFormat ChineseLanguage desires "渴望") chinese_format.kif 92-92 相關的內部概念 想要 and 慾望
(termFormat ChineseTraditionalLanguage desires "慾望") domainEnglishFormat.kif 19268-19268 相關的內部概念 想要 and 慾望
(termFormat EnglishLanguage desires "desires") domainEnglishFormat.kif 19267-19267 相關的內部概念 想要 and 慾望
(termFormat de desires "wuenscht") terms-de.txt 28-28 相關的內部概念 想要 and 慾望
(termFormat tg desires "gusto") relations-tg.txt 157-157 相關的內部概念 想要 and 慾望

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
            (uses ?X ?CUST) ?AGENT ?CUST) Possibility))		 Dining.kif 336-350
(=>
    (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 486-495
(=>
    (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 1876-1888

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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