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 2739-2743 | |
(domain desires 1 CognitiveAgent) | Merge.kif 2736-2736 | domain desires, 1 and CognitiveAgent |
(domain desires 2 Formula) | Merge.kif 2737-2737 | domain desires, 2 and Formula |
(instance desires BinaryPredicate) | Merge.kif 2733-2733 | instance desires and BinaryPredicate |
(instance desires PropositionalAttitude) | Merge.kif 2732-2732 | instance desires and PropositionalAttitude |
(relatedInternalConcept desires wants) | Merge.kif 2735-2735 | relatedInternalConcept desires and wants |
(subrelation desires inScopeOfInterest) | Merge.kif 2734-2734 | subrelation desires and inScopeOfInterest |
appearance as argument number 2 |
![]() |
(disjointRelation disapproves desires) | Mid-level-ontology.kif 7154-7154 | disjointRelation disapproves and desires |
(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 2712-2712 | relatedInternalConcept wants and 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 |
![]() |
consequent |
![]() |
![]() |
![]() |