Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
desires
Sigma KEE - desires
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 2737-2741
(
domain
desires
1
CognitiveAgent
)
Merge.kif 2734-2734
渴望
的 1 数量 是
有认知的主事
的
instance
(
domain
desires
2
Formula
)
Merge.kif 2735-2735
渴望
的 2 数量 是
公式
的
instance
(
instance
desires
BinaryPredicate
)
Merge.kif 2731-2731
渴望
是
二元谓语
的
instance
(
instance
desires
PropositionalAttitude
)
Merge.kif 2730-2730
渴望
是
命题态度
的
instance
(
relatedInternalConcept
desires
wants
)
Merge.kif 2733-2733
渴望
和
想要
是 内部相关
(
subrelation
desires
inScopeOfInterest
)
Merge.kif 2732-2732
渴望
是
感兴趣
的
subrelation
appearance as argument number 2
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 7119-7119
不赞成
和
渴望
是
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
想要
和
渴望
是 内部相关
(
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
如果
有认知的主事
provides
客体
和
那个 有认知的主事
是
另一个 有认知的主事
的
customer
和
实体
是
那个 客体
的
instance
和
那个 另外 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 另外 有认知的主事
是
那个 另外 实体
的
agent
,
然后
那个 有认知的主事
允许
那个 另外 有认知的主事
执行
那个 实体
uses
那个 另外 有认知的主事
的任务 的声明 has
可能性
的语气
(=>
(
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
如果
施事体
desires
死
是
实体
的
attribute
在
时距
holdsDuring
和
那个 施事体
URDER 是
谋杀
的
instance
和
那个 施事体
是
那个 施事体
URDER 的
agent
和
那个 实体
是
那个 施事体
URDER 的
patient
和
那个 时距
比
那个 施事体
URDER 出现 的
time
发生的
earlier
,
然后
Premeditated
是
那个 施事体
URDER 的
attribute
(=>
(
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
如果
过程
是
防御性信息操作
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
enemy
那个 有认知的主事
and
另一个 有认知的主事
和
那个 另外 有认知的主事
desires
那个 另外 有认知的主事
knows
实体
和
那个 有认知的主事
desires
那个 另外 有认知的主事
doesn't
knows
那个 实体
,
然后
那个 过程
的 目的 是
那个 另外 有认知的主事
doesn't
knows
那个 实体
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
如果
Collectible
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
wants
那个 客体
和
那个 有认知的主事
desires
那个 公式
2 和
那个 公式
2
entails
那个 有认知的主事
possesses
那个 客体
和
那个 公式
不
equal
那个 公式
2
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1847-1851
如果
选举
对于职位
身分
的
candidate
对于
有认知的主事
和
施事体
是
那个 选举
的
agent
,
然后
那个 有认知的主事
desires
那个 有认知的主事
在
那个 施事体
任职
那个 身分
(=>
(
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
如果
defenseLawyer
法律诉讼
and
有认知的主事
和
另一个 有认知的主事
是在
那个 法律诉讼
的
defendant
,
然后
那个 有认知的主事
desires
不存在
实体
这样
那个 实体
是
法律决定
的
instance
和
那个 实体
提到
那个 法律诉讼
和
那个 另外 有认知的主事
doesn't
wants
那个 实体
(=>
(
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
如果
deviceOS
有点 客体
and
有点 电脑
和
有点 客体
I 是
那个 有点 客体
的
instance
和
有点 电脑
I 是
那个 有点 电脑
的
instance
和
manufacturer
那个 有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
desires
那个 有点 电脑
I 是
第三 实体
的执行
program
和
那个 第三 实体
是
running
在
那个 有点 客体
I
(=>
(
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
如果
equal
DepartmentOfPreventingFn
机构
and
过程
和
那个 过程
是
过程
的
subclass
,
然后
那个 机构
doesn't
desires
有存在
实体
这样
那个 实体
是
那个 过程
的
instance
和
那个 机构
是事件
那个 实体
的
involved
(=>
(
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
如果
过程
是
AddToCart
的
instance
和
有认知的主事
是
施事体
的
instance
和
实体
是
客体
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
购买
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
(=>
(
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
如果
过程
是
封锁
的
instance
和
比赛
是
比赛
的
instance
和
那个 过程
%n是
那个 比赛
的
subProcess
和
施事体
participates
在
那个 比赛
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
那个 比赛
1 和
有认知的主事
这样
那个 比赛
1
prevents
易位
的发生 和
那个 过程
是
那个 比赛
1 的
instance
和
那个 有认知的主事
participates
在
那个 比赛
和
那个 施事体
不
equal
那个 有认知的主事
和
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
那个 比赛
1 的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
和
那个 另外 实体
%n是
那个 比赛
的
subProcess
(=>
(
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
如果
电脑程序
是
ComputerBackingUp
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
数字数据
的
instance
和
有认知的主事
是
那个 电脑程序
的
agent
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 电脑程序
出现 的
time
比
那个 实体
发生的
earlier
和 有存在
第三 实体
这样
那个 第三 实体
是
电脑程序
的
instance
和
那个 数字数据
能够担当
数据已处理
的角色做
那个 第三 实体
在
那个 实体
holdsDuring
(=>
(
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
如果
群体
是
Club
的
instance
和
有认知的主事
是
那个 群体
的
member
和
另一个 有认知的主事
是
那个 群体
的
member
,
然后 有存在
公式
这样
那个 有认知的主事
desires
那个 公式
和
那个 另外 有认知的主事
desires
那个 公式
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 11988-11993
如果
过程
是
关押
的
instance
和
有认知的主事
是
那个 过程
的
patient
和
那个 有认知的主事
是
人类
的
instance
,
然后
那个 有认知的主事
doesn't
desires
那个 有认知的主事
是
那个 过程
的
patient
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12415-12422
如果
过程
是
表示赞同
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
公式
是
那个 过程
的
patient
,
然后
那个 有认知的主事
wants
那个 公式
或
那个 有认知的主事
desires
那个 公式
(=>
(
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
如果
过程
是
FailureFn
有点 有意图过程
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 有认知的主事
desires
有存在
另一个 过程
这样
那个 另外 过程
是
有点 有意图过程
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和 不存在
那个 另外 过程
这样
那个 另外 过程
是
那个 有点 有意图过程
的
instance
和
那个 另外 过程
出现 的
time
在
那个 过程
出现 的
time
时段内发生 和
那个 有认知的主事
是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2359-2366
如果
有认知的主事
是
政治压力集团
的
instance
和
那个 有认知的主事
的 目的 是
公式
和
地理区域
是
agent
运作在
那个 有认知的主事
地区 和
那个 地理区域
是
国家
的
instance
,
然后
那个 有认知的主事
desires
那个 地理区域
的
Government
believes
那个 公式
(=>
(
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
如果
过程
是
Insomnia
的
instance
和
有认知的主事
经历了
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
Sleeping
的
instance
和
那个 有认知的主事
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
的
duration
是
持续时间
和
那个 有认知的主事
desires
那个 另外 过程
出现 的
time
的
duration
是
那个 持续时间
2 和
那个 持续时间
2 是
greaterThan
那个 持续时间
(=>
(
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
如果
过程
是
Itching
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
有认知的主事
的
part
和
那个 有认知的主事
经历了
那个 过程
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Scratching
的
instance
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 和
那个 实体
是
located
在
那个 客体
(=>
(
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
如果
过程
是
粉碎
的
instance
和
有点 客体
是
电脑
的
instance
和
有点 客体
是
那个 过程
的
patient
和
manufacturer
那个 有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
doesn't
desires
有存在
实体
这样
那个 实体
是
那个 过程
的
agent
(=>
(
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
如果
过程
是
Quitting
的
instance
和
实体
是
机构
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 有认知的主事
desires
那个 有认知的主事
不 是
那个 实体
的
member
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
客体
是
WebListing
的
instance
和
过程
是
客体
的
instance
和
有认知的主事
是
施事体
的
instance
和
AuctionAttribute
是
那个 客体
的
attribute
和
那个 客体
是
那个 过程
的
patient
和
那个 有认知的主事
created
那个 客体
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Auctioning
的
instance
和
那个 过程
是
那个 实体
的
patient
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2260-2266
如果
群体
是
共产党
的
instance
和
有认知的主事
是
那个 群体
的
member
和
实体
是
地缘政治区域
的
instance
,
然后
那个 有认知的主事
desires
%2 是 1% 的
government
类别
(=>
(
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
如果
过程
是
惩罚
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
另一个 实体
结束,
然后
那个 有认知的主事
knows
那个 另外 实体
doesn't
desires
那个 实体
(=>
(
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
如果
过程
是
心理操作
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
和
第三 实体
这样
那个 实体
是
那个 另外 实体
的
agent
和
那个 第三 实体
是
那个 另外 实体
的
result
和
那个 施事体
desires
那个 第三 实体
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?AGENT)
(
patient
?REQUEST ?FORMULA)
(
instance
?FORMULA
Formula
))
(
desires
?AGENT ?FORMULA))
Merge.kif 12960-12966
如果
过程
是
要求
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
公式
是
那个 过程
的
patient
和
那个 公式
是
公式
的
instance
,
然后
那个 有认知的主事
desires
那个 公式
(=>
(
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
如果
过程
是
感谢
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
另一个 实体
结束,
然后
那个 另外 实体
是
人类
的
instance
和
那个 施事体
wants
那个 实体
在
那个 过程
出现 的
time
holdsDuring
或
那个 施事体
desires
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 825-830
如果
过程
是
危险的
的
instance
和
公式
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束,
然后
那个 有认知的主事
doesn't
desires
那个 公式
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 73-80
如果
有认知的主事
sells
WebListing
和
实体
是
客体
的
instance
和
那个 实体
是
那个 WebListing
的
patient
,
然后
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
patient
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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