| 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 2692-2696 | |
| (domain desires 1 CognitiveAgent) | Merge.kif 2689-2689 | 渴望 的 1 数量 是 有认知的主事 的 instance |
| (domain desires 2 Formula) | Merge.kif 2690-2690 | 渴望 的 2 数量 是 公式 的 instance |
| (instance desires BinaryPredicate) | Merge.kif 2686-2686 | 渴望 是 二元谓语 的 instance |
| (instance desires PropositionalAttitude) | Merge.kif 2685-2685 | 渴望 是 命题态度 的 instance |
| (relatedInternalConcept desires wants) | Merge.kif 2688-2688 | 渴望 和 想要 是 内部相关 |
| (subrelation desires inScopeOfInterest) | Merge.kif 2687-2687 | 渴望 是 感兴趣 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation disapproves desires) | Mid-level-ontology.kif 7123-7123 | 不赞成 和 渴望 是 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 2665-2665 | 想要 和 渴望 是 内部相关 |
| (termFormat ChineseLanguage desires "欲望") | domainEnglishFormat.kif 19183-19183 | |
| (termFormat ChineseLanguage desires "渴望") | chinese_format.kif 92-92 | |
| (termFormat ChineseTraditionalLanguage desires "慾望") | domainEnglishFormat.kif 19182-19182 | |
| (termFormat EnglishLanguage desires "desires") | domainEnglishFormat.kif 19181-19181 |
| 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 27707-27719 | |
| (=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT))) |
Government.kif 1804-1808 | |
| (=> (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 709-718 | |
| (=> (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 16095-16104 | |
| (=> (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 1506-1518 | |
| (=> (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 19599-19618 |
|
| (=> (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 3485-3499 | |
| (=> (and (instance ?CLUB Club) (member ?MEM1 ?CLUB) (member ?MEM2 ?CLUB)) (exists (?DESIRE) (and (desires ?MEM1 ?DESIRE) (desires ?MEM2 ?DESIRE)))) |
Mid-level-ontology.kif 1334-1342 | |
| (=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 11345-11350 | |
| (=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING))) |
Mid-level-ontology.kif 10585-10592 | |
| (=> (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 4437-4452 | |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2303-2310 | |
| (=> (and (instance ?J Jailbreaking) (instance ?D Computer) (patient ?J ?D) (manufacturer ?D ?C)) (not (desires ?C (exists (?A) (agent ?J ?A))))) |
ComputingBrands.kif 3466-3475 | |
| (=> (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 391-403 | |
| (=> (and (instance ?P CommunistParty) (member ?M ?P) (instance ?A GeopoliticalArea)) (desires ?M (governmentType ?A CommunistState))) |
Government.kif 2217-2222 | |
| (=> (and (instance ?P Punishing) (agent ?P ?A) (patient ?P ?F) (destination ?P ?D)) (knows ?A (not (desires ?D ?F)))) |
Mid-level-ontology.kif 1260-1268 | |
| (=> (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 12250-12256 | |
| (=> (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 10781-10791 | |
| (=> (and (instance ?THREATEN Threatening) (patient ?THREATEN ?PROP) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?PROP))) |
Mid-level-ontology.kif 1248-1253 | |
| (=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ)))) |
UXExperimentalTerms.kif 73-80 | |
| (=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (desires ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1838-1848 | |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 361-371 | |
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2678-2683 | |
| 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