Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 2791-2795
(
documentation
desires
JapaneseLanguage
"(
desires
?AGENT ?FORMULA) とは、?AGENT が ?FORMULA によって表現された事態の状態をもたらすことを望んでいることを意味する。 注1:エージェント が望むものが既に正しくないという結果はない。 注2:また、
desires
は前者が
PropositionalAttitude
であるのに対し、
wants
は
ObjectAttitude
であるという点でのみ
wants
と区別される。")
japanese_format.kif 565-568
(
domain
desires
1
CognitiveAgent
)
Merge.kif 2788-2788
域
慾望
, 1 and
CognitiveAgent
(
domain
desires
2
Formula
)
Merge.kif 2789-2789
域
慾望
, 2 and
Formula
(
instance
desires
BinaryPredicate
)
Merge.kif 2785-2785
例
慾望
and
BinaryPredicate
(
instance
desires
PropositionalAttitude
)
Merge.kif 2784-2784
例
慾望
and
PropositionalAttitude
(
relatedInternalConcept
desires
wants
)
Merge.kif 2787-2787
相關的內部概念
慾望
and
想要
(
subrelation
desires
inScopeOfInterest
)
Merge.kif 2786-2786
子關係
慾望
and
在感興趣的範圍內
appearance as argument number 2
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 7439-7439
不相交的關係
不贊成
and
慾望
(
format
ChineseLanguage
desires
"%1 %n{doesn't}
desires
%2")
chinese_format.kif 91-91
(
format
EnglishLanguage
desires
"%1 %n{doesn't}
de
sire%p{s} %2")
english_format.kif 91-91
(
format
FrenchLanguage
desires
"%1 %n{ne}
de
sire %n{pas} %2")
french_format.kif 68-68
(
format
ItalianLanguage
desires
"%1 %n{non}
de
sidera%p{s} %2")
relations-it.txt 70-70
(
format
JapaneseLanguage
desires
"%1 が %2 を
de
sire%p{s} %n{ない}")
japanese_format.kif 1894-1894
(
format
PortugueseLanguage
desires
"%1 %n{nao}
de
seja %n %2")
portuguese_format.kif 20-20
(
format
cb
desires
"%1 %n kagustuhan %2")
relations-cb.txt 104-104
(
format
cz
desires
"%1 %n{doesn't}
de
sire%p{s} %2")
relations-cz.txt 98-98
(
format
de
desires
"%1 wuenscht %2 %n{nicht}")
relations-de.txt 101-101
(
format
hi
desires
"%1 %2 kii ichchha %n{nahiin} karataa hai")
relations-hindi.txt 111-111
(
format
ro
desires
"%1 %n{nu}
de
sire%t{doreºte} %2")
relations-ro.kif 87-87
(
format
sv
desires
"%1 önskar %n{inte} %2")
relations-sv.txt 67-67
(
format
tg
desires
"%1 %n gusto %2")
relations-tg.txt 156-156
(
relatedInternalConcept
wants
desires
)
Merge.kif 2764-2764
相關的內部概念
想要
and
慾望
(
termFormat
ChineseLanguage
desires
"欲望")
domainEnglishFormat.kif 19260-19260
(
termFormat
ChineseLanguage
desires
"渴望")
chinese_format.kif 92-92
(
termFormat
ChineseTraditionalLanguage
desires
"慾望")
domainEnglishFormat.kif 19259-19259
(
termFormat
EnglishLanguage
desires
"desires")
domainEnglishFormat.kif 19258-19258
(
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
AutonomousAgent
provides
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Entity
and
Object
慾望
CognitiveAgent
and
entity
例
entity
and
IntentionalProcess
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
模態屬性
賦予權利
使用
Entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
and
可能性
(=>
(
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 480-489
持有期間
TimeInterval
and
慾望
AutonomousAgent
and
attribute
Entity
and
死
例
AutonomousAgent
URDER and
謀殺
agent
AutonomousAgent
URDER and
AutonomousAgent
患者
AutonomousAgent
URDER and
Entity
早期
TimeInterval
and
何時
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
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
例
Process
and
防禦性信息操作
agent
Process
and
CognitiveAgent
enemy
CognitiveAgent
and
CognitiveAgent
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
entity
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
entity
有目的
Process
and
知道
CognitiveAgent
and
entity
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 29507-29519
attribute
Object
and
Collectible
有目的
Object
and
Formula
CognitiveAgent
Formula
例
CognitiveAgent
and
Human
想要
CognitiveAgent
and
Object
慾望
CognitiveAgent
and
Formula
意味
Formula
and
擁有
CognitiveAgent
and
Object
等於
Formula
and
Formula
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1850-1854
選舉
對於職位
SocialRole
的
candidate
對於
CognitiveAgent
agent
選舉
and
AutonomousAgent
慾望
CognitiveAgent
and
佔據位置
CognitiveAgent
,
SocialRole
and
AutonomousAgent
(=>
(
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 295-306
defenseLawyer
LegalAction
and
CognitiveAgent
CognitiveAgent
是在
LegalAction
的
defendant
慾望
CognitiveAgent
and
entity
例
entity
and
法律決定
參照
entity
and
LegalAction
想要
CognitiveAgent
and
entity
(=>
(
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
deviceOS
Object
and
電腦
例
Object
I and
Object
例
電腦
I and
電腦
manufacturer
Object
and
CognitiveAgent
慾望
CognitiveAgent
and
電腦
I 是
entity
的執行
program
entity
是
running
在
Object
I
(=>
(
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 2200-2216
例
Process
and
AutoImmuneDisorder
體驗者
Process
and
CognitiveAgent
Object
Process
and
Object
例
Object
and
抗體
部分
Object
and
CognitiveAgent
例
Object
and
Cell
部分
Object
and
CognitiveAgent
例
Process
and
Destruction
儀器
Process
and
Object
慾望
CognitiveAgent
and ~{
例
Process
and
Destruction
} ~{
儀器
Process
and
Object
}
(=>
(
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
例
Process
and
AddToCart
例
CognitiveAgent
and
AutonomousAgent
例
Entity
and
Object
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
慾望
CognitiveAgent
and
entity
例
entity
and
Buying
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
(=>
(
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 21776-21795
例
Process
and
封鎖
例
Contest
and
Contest
子過程
Process
and
Contest
AutonomousAgent
participates
在
Contest
agent
Process
and
AutonomousAgent
Contest
1
CognitiveAgent
防止
Contest
1 and
易位
例
Process
and
Contest
1
CognitiveAgent
participates
在
Contest
等於
AutonomousAgent
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
例
entity
and
Contest
1
agent
entity
and
AutonomousAgent
子過程
entity
and
Contest
(=>
(
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 3496-3510
例
電腦程序
and
ComputerBackingUp
數字數據
是由
電腦程序
processed
例
數字數據
and
數字數據
agent
電腦程序
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
早期
何時
電腦程序
and
entity
持有期間
entity
and
entity
例
entity
and
電腦程序
能力
entity
,
數據已處理
and
數字數據
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 944-952
例
Collection
and
Club
會員
CognitiveAgent
and
Collection
會員
CognitiveAgent
and
Collection
Formula
慾望
CognitiveAgent
and
Formula
慾望
CognitiveAgent
and
Formula
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12212-12217
例
Process
and
Confining
患者
Process
and
CognitiveAgent
例
CognitiveAgent
and
Human
慾望
CognitiveAgent
and
患者
Process
and
CognitiveAgent
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12950-12957
例
Process
and
表示贊同
agent
Process
and
CognitiveAgent
患者
Process
and
Formula
想要
CognitiveAgent
and
Formula
慾望
CognitiveAgent
and
Formula
(=>
(
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 4517-4532
例
Process
and
FailureFn
IntentionalProcess
agent
Process
and
CognitiveAgent
慾望
CognitiveAgent
and
Process
例
Process
and
IntentionalProcess
agent
Process
and
CognitiveAgent
Process
例
Process
and
IntentionalProcess
期間
何時
Process
and
何時
Process
agent
Process
and
CognitiveAgent
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
例
CognitiveAgent
and
政治壓力集團
有目的
CognitiveAgent
and
Formula
GeographicArea
是
agent
運作在
CognitiveAgent
地區
例
GeographicArea
and
Nation
慾望
CognitiveAgent
and
相信
政府
GeographicArea
and
Formula
(=>
(
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 16447-16459
例
Process
and
Insomnia
體驗者
Process
and
CognitiveAgent
Process
TimeDuration
and
TimeDuration
例
Process
and
Sleeping
體驗者
Process
and
CognitiveAgent
持續時間
何時
Process
and
TimeDuration
慾望
CognitiveAgent
and
持續時間
何時
Process
and
TimeDuration
比較多
TimeDuration
and
TimeDuration
(=>
(
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 5725-5736
例
Process
and
Itching
位於
Process
and
Object
部分
Object
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
例
entity
and
Scratching
期間
何時
entity
and
何時
Process
位於
entity
and
Object
(=>
(
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 3476-3486
例
Process
and
粉碎
例
Entity
and
電腦
例
Entity
and
Object
患者
Process
and
Entity
manufacturer
Object
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
agent
Process
and
entity
(=>
(
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 10665-10675
例
Process
and
Quitting
例
Entity
and
Organization
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
慾望
CognitiveAgent
and
持有期間
結束
何時
Process
and
會員
CognitiveAgent
and
Entity
(=>
(
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
例
Object
and
WebListing
例
Process
and
Object
例
CognitiveAgent
and
AutonomousAgent
attribute
Object
and
AuctionAttribute
患者
Process
and
Object
CognitiveAgent
created
Object
慾望
CognitiveAgent
and
entity
例
entity
and
Auctioning
患者
entity
and
Process
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
例
Collection
and
共產黨
會員
CognitiveAgent
and
Collection
例
Entity
and
GeopoliticalArea
慾望
CognitiveAgent
and %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 872-880
例
Process
and
懲罰
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
目的地
Process
and
Entity
知道
CognitiveAgent
and
慾望
Entity
and
Entity
(=>
(
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
例
Process
and
心理操作
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
有目的
Process
and
entity
entity
agent
entity
and
Entity
結果
entity
and
entity
慾望
AutonomousAgent
and
entity
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?AGENT)
(
patient
?REQUEST ?FORMULA)
(
instance
?FORMULA
Formula
))
(
desires
?AGENT ?FORMULA))
Merge.kif 13200-13206
例
Process
and
Requesting
agent
Process
and
CognitiveAgent
患者
Process
and
Formula
例
Formula
and
Formula
慾望
CognitiveAgent
and
Formula
(=>
(
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 13148-13158
例
Process
and
感謝
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
目的地
Process
and
Entity
例
Entity
and
Human
持有期間
何時
Process
and
想要
AutonomousAgent
and
Entity
持有期間
何時
Process
and
慾望
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 860-865
例
Process
and
危險的
患者
Process
and
Formula
目的地
Process
and
CognitiveAgent
慾望
CognitiveAgent
and
Formula
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 61-68
CognitiveAgent
sells
WebListing
例
Entity
and
Object
患者
WebListing
and
Entity
慾望
CognitiveAgent
and
entity
患者
entity
and
Entity
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