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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - desires
desires

appearance as argument number 1
-------------------------


(documentation desires ChineseLanguage "(desires ?AGENT ?FORMULA) 的意思是 ?AGENT 想要 实现 ?FORMULA 所表达的事态。注:这并不意味着施事体想要的东西不能成真。另外要注意的是 desireswants 的区别只在于前者是一个 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 2737-2741
(domain desires 1 CognitiveAgent) Merge.kif 2734-2734 The number 1 argument of desires is an instance of cognitive agent
(domain desires 2 Formula) Merge.kif 2735-2735 The number 2 argument of desires is an instance of formula
(instance desires BinaryPredicate) Merge.kif 2731-2731 desires is an instance of binary predicate
(instance desires PropositionalAttitude) Merge.kif 2730-2730 desires is an instance of propositional attitude
(relatedInternalConcept desires wants) Merge.kif 2733-2733 desires is internally related to wants
(subrelation desires inScopeOfInterest) Merge.kif 2732-2732 desires is a subrelation of in scope of interest

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


(disjointRelation disapproves desires) Mid-level-ontology.kif 7119-7119 disapproves and desires are disjoint
(format ChineseLanguage desires "%1 %n{doesn't} desires %2") chinese_format.kif 91-91
(format EnglishLanguage desires "%1 %n{doesn't} desire%p{s} %2") english_format.kif 91-91
(relatedInternalConcept wants desires) Merge.kif 2710-2710 wants is internally related to desires
(termFormat ChineseLanguage desires "欲望") domainEnglishFormat.kif 19251-19251
(termFormat ChineseLanguage desires "渴望") chinese_format.kif 92-92
(termFormat ChineseTraditionalLanguage desires "慾望") domainEnglishFormat.kif 19250-19250
(termFormat EnglishLanguage desires "desires") domainEnglishFormat.kif 19249-19249

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 ?CUST ?X) ?AGENT ?CUST) Possibility))
Dining.kif 332-346
(=>
    (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 524-533
(=>
    (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)
        (and
            (instance ?H Human)
            (wants ?H ?C)
            (desires ?H ?P2)
            (entails ?P2
                (possesses ?H ?C))
            (not
                (equal ?P ?P2)))))
Mid-level-ontology.kif 28919-28931
(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))
Government.kif 1847-1851
(=>
    (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 338-349
(=>
    (and
        (deviceOS ?C ?OS)
        (instance ?CI ?C)
        (instance ?OSI ?OS)
        (manufacturer ?C ?ORG))
    (desires ?ORG
        (and
            (programRunning ?PROC ?OSI)
            (computerRunning ?PROC ?CI))))
ComputingBrands.kif 702-711
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))
Mid-level-ontology.kif 17782-17791
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?USER Agent)
        (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 1509-1521
(=>
    (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 21258-21277
(=>
    (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 3461-3475
(=>
    (and
        (instance ?CLUB Club)
        (member ?MEM1 ?CLUB)
        (member ?MEM2 ?CLUB))
    (exists (?DESIRE)
        (and
            (desires ?MEM1 ?DESIRE)
            (desires ?MEM2 ?DESIRE))))
Mid-level-ontology.kif 909-917
(=>
    (and
        (instance ?CONFINE Confining)
        (patient ?CONFINE ?PERSON)
        (instance ?PERSON Human))
    (not
        (desires ?PERSON
            (patient ?CONFINE ?PERSON))))
Merge.kif 11988-11993
(=>
    (and
        (instance ?EXPRESS ExpressingApproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (wants ?AGENT ?THING)
        (desires ?AGENT ?THING)))
Mid-level-ontology.kif 12415-12422
(=>
    (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 4480-4495
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))
Government.kif 2359-2366
(=>
    (and
        (instance ?I Insomnia)
        (experiencer ?I ?H))
    (exists (?S)
        (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 15891-15903
(=>
    (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 5413-5424
(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3442-3451
(=>
    (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 10559-10569
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?ITEM Object)
        (instance ?CREATOR Agent)
        (attribute ?LISTING AuctionAttribute)
        (patient ?ITEM ?LISTING)
        (creator ?CREATOR ?LISTING))
    (desires ?CREATOR
        (exists (?AUCTION)
            (and
                (instance ?AUCTION Auctioning)
                (patient ?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 393-405
(=>
    (and
        (instance ?P CommunistParty)
        (member ?M ?P)
        (instance ?A GeopoliticalArea))
    (desires ?M
        (governmentType ?A CommunistState)))
Government.kif 2260-2266
(=>
    (and
        (instance ?P Punishing)
        (agent ?P ?A)
        (patient ?P ?F)
        (destination ?P ?D))
    (knows ?A
        (not
            (desires ?D ?F))))
Mid-level-ontology.kif 837-845
(=>
    (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 12960-12966
(=>
    (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 12613-12623
(=>
    (and
        (instance ?THREATEN Threatening)
        (patient ?THREATEN ?PROP)
        (destination ?THREATEN ?DEST))
    (not
        (desires ?DEST ?PROP)))
Mid-level-ontology.kif 825-830
(=>
    (and
        (listingSeller ?LISTING ?AGENT)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ))
    (desires ?AGENT
        (exists (?SELLING)
            (patient ?SELLING ?OBJ))))
UXExperimentalTerms.kif 73-80

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