| 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 2787-2791 | |
| (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 2784-2784 | 渴望 的 1 数量 是 有认知的主事 的 instance |
| (domain desires 2 Formula) | Merge.kif 2785-2785 | 渴望 的 2 数量 是 公式 的 instance |
| (instance desires BinaryPredicate) | Merge.kif 2781-2781 | 渴望 是 二元谓语 的 instance |
| (instance desires PropositionalAttitude) | Merge.kif 2780-2780 | 渴望 是 命题态度 的 instance |
| (relatedInternalConcept desires wants) | Merge.kif 2783-2783 | 渴望 和 想要 是 内部相关 |
| (subrelation desires inScopeOfInterest) | Merge.kif 2782-2782 | 渴望 是 感兴趣 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation disapproves desires) | Mid-level-ontology.kif 8623-8623 | 不赞成 和 渴望 是 disjoint 关系 |
| (format ChineseLanguage desires "%1 %n{doesn't} desires %2") | chinese_format.kif 91-91 | 不赞成 和 渴望 是 disjoint 关系 |
| (format EnglishLanguage desires "%1 %n{doesn't} desire%p{s} %2") | english_format.kif 91-91 | 不赞成 和 渴望 是 disjoint 关系 |
| (format FrenchLanguage desires "%1 %n{ne} desire %n{pas} %2") | french_format.kif 68-68 | 不赞成 和 渴望 是 disjoint 关系 |
| (format ItalianLanguage desires "%1 %n{non} desidera%p{s} %2") | relations-it.txt 70-70 | 不赞成 和 渴望 是 disjoint 关系 |
| (format JapaneseLanguage desires "%1 が %2 を desire%p{s} %n{ない}") | japanese_format.kif 1894-1894 | 不赞成 和 渴望 是 disjoint 关系 |
| (format PortugueseLanguage desires "%1 %n{nao} deseja %n %2") | portuguese_format.kif 20-20 | 不赞成 和 渴望 是 disjoint 关系 |
| (format cb desires "%1 %n kagustuhan %2") | relations-cb.txt 104-104 | 不赞成 和 渴望 是 disjoint 关系 |
| (format cz desires "%1 %n{doesn't} desire%p{s} %2") | relations-cz.txt 98-98 | 不赞成 和 渴望 是 disjoint 关系 |
| (format de desires "%1 wuenscht %2 %n{nicht}") | relations-de.txt 101-101 | 不赞成 和 渴望 是 disjoint 关系 |
| (format hi desires "%1 %2 kii ichchha %n{nahiin} karataa hai") | relations-hindi.txt 111-111 | 不赞成 和 渴望 是 disjoint 关系 |
| (format ro desires "%1 %n{nu} desire%t{doreºte} %2") | relations-ro.kif 87-87 | 不赞成 和 渴望 是 disjoint 关系 |
| (format sv desires "%1 önskar %n{inte} %2") | relations-sv.txt 67-67 | 不赞成 和 渴望 是 disjoint 关系 |
| (format tg desires "%1 %n gusto %2") | relations-tg.txt 156-156 | 不赞成 和 渴望 是 disjoint 关系 |
| (relatedInternalConcept wants desires) | Merge.kif 2760-2760 | 想要 和 渴望 是 内部相关 |
| (termFormat ChineseLanguage desires "欲望") | domainEnglishFormat.kif 19275-19275 | 想要 和 渴望 是 内部相关 |
| (termFormat ChineseLanguage desires "渴望") | chinese_format.kif 92-92 | 想要 和 渴望 是 内部相关 |
| (termFormat ChineseTraditionalLanguage desires "慾望") | domainEnglishFormat.kif 19274-19274 | 想要 和 渴望 是 内部相关 |
| (termFormat EnglishLanguage desires "desires") | domainEnglishFormat.kif 19273-19273 | 想要 和 渴望 是 内部相关 |
| (termFormat de desires "wuenscht") | terms-de.txt 28-28 | 想要 和 渴望 是 内部相关 |
| (termFormat tg desires "gusto") | relations-tg.txt 157-157 | 想要 和 渴望 是 内部相关 |
| 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 31185-31197 | |
| (=> (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 23435-23454 |
|
| (=> (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 12347-12352 | |
| (=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING))) |
Mid-level-ontology.kif 14299-14306 | |
| (=> (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 17854-17866 | |
| (=> (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 6681-6692 | |
| (=> (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 10788-10798 | |
| (=> (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 13339-13345 | |
| (=> (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 14497-14507 | |
| (=> (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 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