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 2732-2736
(domain desires 1 CognitiveAgent) Merge.kif 2729-2729 The number 1 argument of desires is an instance of cognitive agent
(domain desires 2 Formula) Merge.kif 2730-2730 The number 2 argument of desires is an instance of formula
(instance desires BinaryPredicate) Merge.kif 2726-2726 desires is an instance of binary predicate
(instance desires PropositionalAttitude) Merge.kif 2725-2725 desires is an instance of propositional attitude
(relatedInternalConcept desires wants) Merge.kif 2728-2728 desires is internally related to wants
(subrelation desires inScopeOfInterest) Merge.kif 2727-2727 desires is a subrelation of in scope of interest

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


(disjointRelation disapproves desires) Mid-level-ontology.kif 7091-7091 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 2705-2705 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 1857-1869

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 28566-28578
(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))
Government.kif 1836-1840
(=>
    (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 703-712
(=>
    (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 17440-17449
(=>
    (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 20903-20922
(=>
    (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 3469-3483
(=>
    (and
        (instance ?CLUB Club)
        (member ?MEM1 ?CLUB)
        (member ?MEM2 ?CLUB))
    (exists (?DESIRE)
        (and
            (desires ?MEM1 ?DESIRE)
            (desires ?MEM2 ?DESIRE))))
Mid-level-ontology.kif 888-896
(=>
    (and
        (instance ?CONFINE Confining)
        (patient ?CONFINE ?PERSON)
        (instance ?PERSON Human))
    (not
        (desires ?PERSON
            (patient ?CONFINE ?PERSON))))
Merge.kif 11631-11636
(=>
    (and
        (instance ?EXPRESS ExpressingApproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (wants ?AGENT ?THING)
        (desires ?AGENT ?THING)))
Mid-level-ontology.kif 12148-12155
(=>
    (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 4488-4503
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))
Government.kif 2348-2355
(=>
    (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 15588-15600
(=>
    (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 5386-5397
(=>
    (and
        (instance ?J Jailbreaking)
        (instance ?D Computer)
        (patient ?J ?D)
        (manufacturer ?D ?C))
    (not
        (desires ?C
            (exists (?A)
                (agent ?J ?A)))))
ComputingBrands.kif 3450-3459
(=>
    (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 10239-10249
(=>
    (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 2249-2255
(=>
    (and
        (instance ?P Punishing)
        (agent ?P ?A)
        (patient ?P ?F)
        (destination ?P ?D))
    (knows ?A
        (not
            (desires ?D ?F))))
Mid-level-ontology.kif 816-824
(=>
    (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 1183-1193
(=>
    (and
        (instance ?REQUEST Requesting)
        (agent ?REQUEST ?AGENT)
        (patient ?REQUEST ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?AGENT ?FORMULA))
Merge.kif 12577-12583
(=>
    (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 12346-12356
(=>
    (and
        (instance ?THREATEN Threatening)
        (patient ?THREATEN ?PROP)
        (destination ?THREATEN ?DEST))
    (not
        (desires ?DEST ?PROP)))
Mid-level-ontology.kif 804-809
(=>
    (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