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
desires
の数値 1 引数は
認識エージェント
の
instance
では %n
(
domain
desires
2
Formula
)
Merge.kif 2789-2789
desires
の数値 2 引数は
公式
の
instance
では %n
(
instance
desires
BinaryPredicate
)
Merge.kif 2785-2785
desires
は
2進述語
の
instance
では %n
(
instance
desires
PropositionalAttitude
)
Merge.kif 2784-2784
desires
は
命題態度
の
instance
では %n
(
relatedInternalConcept
desires
wants
)
Merge.kif 2787-2787
desires
は
wants
に
internally
関連して %n
(
subrelation
desires
inScopeOfInterest
)
Merge.kif 2786-2786
desires
は
inScopeOfInterest
の
subrelation
では %n
appearance as argument number 2
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 7439-7439
disapproves
と
desires
は
disjoint
では %n
(
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
wants
は
desires
に
internally
関連して %n
(
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
facility
AutonomousAgent
and
オブジェクト
customer
認識エージェント
and
AutonomousAgent
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
が
エンティティー
エンティティー
は
意図的なプロセス
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n を
desire
s %n{ない}
ステートメント
AutonomousAgent
は
認識エージェント
が
認識エージェント
は
エンティティー
を
use
s %n{ない} のタスクを実行することはを
allow
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
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
AutonomousAgent
が
Dead
は
エンティティー
の
attribute
では %n を
desire
s %n{ない} は
時間間隔
の
during
holds %n{ない}
AutonomousAgent
URDER は
Murder
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
URDER の
agent
では %n
エンティティー
は
AutonomousAgent
URDER の
patient
では %n
時間間隔
は
AutonomousAgent
URDER の
time
の existence より
earlier
happens %n{ない}
Premeditated
は
AutonomousAgent
URDER の
attribute
では %n
(=>
(
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
工程
は
DefensiveInformationOperation
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
enemy
認識エージェント
and
認識エージェント
認識エージェント
が
認識エージェント
は
エンティティー
を
know
s %n{ない} を
desire
s %n{ない}
認識エージェント
が
認識エージェント
は
エンティティー
を
know
ない を
desire
s %n{ない}
工程
は
認識エージェント
は
エンティティー
を
know
ない の 目的 %n{ない}
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
Collectible
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
認識エージェント
公式
2
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
オブジェクト
を
want
s %n{ない}
認識エージェント
が
公式
2 を
desire
s %n{ない}
公式
2 は
認識エージェント
は
オブジェクト
を
possess
es %n{ない} を
entail
s %n{ない}
公式
は
公式
2 と
equal
では
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1850-1854
candidateForPosition
Election
,
社会的役割
and
認識エージェント
AutonomousAgent
は
Election
の
agent
では %n
認識エージェント
が
認識エージェント
は
AutonomousAgent
の
社会的役割
の
position
を holds %n{ない} を
desire
s %n{ない}
(=>
(
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
訴訟
and
認識エージェント
defendant
訴訟
and
認識エージェント
認識エージェント
が
エンティティー
エンティティー
は
LegalDecision
の
instance
では %n
エンティティー
は
訴訟
への
reference
を includes %n{ない}
認識エージェント
は
エンティティー
を
want
ない を
desire
s %n{ない}
(=>
(
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
オブジェクト
and
Computer
オブジェクト
I は
オブジェクト
の
instance
では %n
Computer
I は
Computer
の
instance
では %n
manufacturer
オブジェクト
and
認識エージェント
認識エージェント
が
programRunning
エンティティー
and
Computer
I
computerRunning
エンティティー
and
オブジェクト
I を
desire
s %n{ない}
(=>
(
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
工程
は
AutoImmuneDisorder
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
オブジェクト
工程
and
オブジェクト
オブジェクト
は
Antibody
の
instance
では %n
オブジェクト
は
認識エージェント
の
part
では %n
オブジェクト
は
細胞
の
instance
では %n
オブジェクト
は
認識エージェント
の
part
では %n
工程
は
破壊
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
認識エージェント
が
工程
は
破壊
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n を
desire
ない
(=>
(
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
工程
は
AddToCart
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
認識エージェント
が
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n を
desire
s %n{ない}
(=>
(
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
工程
は
Blockade
の
instance
では %n
コンテスト
は
コンテスト
の
instance
では %n
工程
は
コンテスト
% の
subprocess
では %n
contestParticipant
コンテスト
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
コンテスト
1
認識エージェント
コンテスト
1 は
Translocation
の出来事を
prevent
s %n{ない}
工程
は
コンテスト
1 の
instance
では %n
contestParticipant
コンテスト
and
認識エージェント
AutonomousAgent
は
認識エージェント
と
equal
では
認識エージェント
が
エンティティー
エンティティー
は
コンテスト
1 の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
コンテスト
% の
subprocess
では %n を
desire
s %n{ない}
(=>
(
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
ComputerProcess
は
ComputerBackingUp
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
DigitalData
の
instance
では %n
認識エージェント
は
ComputerProcess
の
agent
では %n
認識エージェント
が
エンティティー
ComputerProcess
の
time
の existence は
エンティティー
より
earlier
happens %n{ない}
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
DigitalData
は
エンティティー
を
dataProcessed
として行う
capable
では %n は
エンティティー
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
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
コレクション
は
Club
の
instance
では %n
認識エージェント
は
コレクション
の
member
では %n
認識エージェント
は
コレクション
の
member
では %n
公式
認識エージェント
が
公式
を
desire
s %n{ない}
認識エージェント
が
公式
を
desire
s %n{ない}
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12212-12217
工程
は
閉じ込め
の
instance
では %n
認識エージェント
は
工程
の
patient
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
が
認識エージェント
は
工程
の
patient
では %n を
desire
ない
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12950-12957
工程
は
ExpressingApproval
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
は
工程
の
patient
では %n
認識エージェント
は
公式
を
want
s %n{ない}
認識エージェント
が
公式
を
desire
s %n{ない}
(=>
(
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
工程
は
FailureFn
意図的なプロセス
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
が
工程
工程
は
意図的なプロセス
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n を
desire
s %n{ない}
工程
工程
は
意図的なプロセス
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
認識エージェント
は
工程
の
agent
では %n
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
認識エージェント
は
PoliticalPressureGroup
の
instance
では %n
認識エージェント
は
公式
の 目的 %n{ない}
agentOperatesInArea
認識エージェント
and
地理的地域
地理的地域
は
国民
の
instance
では %n
認識エージェント
が
地理的地域
の
government
は
公式
を
believe
s %n{ない} を
desire
s %n{ない}
(=>
(
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
工程
は
Insomnia
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
時間分
and
時間分
2
工程
は
Sleeping
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
工程
の
time
の existence の
duration
は
時間分
では %n
認識エージェント
が
工程
の
time
の existence の
duration
は
時間分
2 では %n
時間分
2 は
時間分
より
greater
では %n を
desire
s %n{ない}
(=>
(
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
工程
は
Itching
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
認識エージェント
の
part
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
が
エンティティー
エンティティー
は
Scratching
の
instance
では %n
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
エンティティー
は
オブジェクト
に
located
して %n を
desire
s %n{ない}
(=>
(
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
工程
は
クラッキング
の
instance
では %n
エンティティー
は
Computer
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
manufacturer
オブジェクト
and
認識エージェント
認識エージェント
が
エンティティー
エンティティー
は
工程
の
agent
では %n を
desire
ない
(=>
(
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
工程
は
Quitting
の
instance
では %n
エンティティー
は
組織
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
認識エージェント
が
認識エージェント
は
エンティティー
の
member
では は
工程
の
time
の existence の
end
の
during
holds %n{ない} を
desire
s %n{ない}
(=>
(
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
オブジェクト
は
WebListing
の
instance
では %n
工程
は
オブジェクト
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
instance
では %n
AuctionAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
工程
の
patient
では %n
creator
認識エージェント
and
オブジェクト
認識エージェント
が
エンティティー
エンティティー
は
Auctioning
の
instance
では %n
工程
は
エンティティー
の
patient
では %n を
desire
s %n{ない}
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
コレクション
は
CommunistParty
の
instance
では %n
認識エージェント
は
コレクション
の
member
では %n
エンティティー
は
地政学的地域
の
instance
では %n
認識エージェント
が
governmentType
エンティティー
and
CommunistState
を
desire
s %n{ない}
(=>
(
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
工程
は
Punishing
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
認識エージェント
は
エンティティー
が
エンティティー
を
desire
ない を
know
s %n{ない}
(=>
(
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
工程
は
PsychologicalOperation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
エンティティー
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
result
では %n
AutonomousAgent
が
エンティティー
を
desire
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?AGENT)
(
patient
?REQUEST ?FORMULA)
(
instance
?FORMULA
Formula
))
(
desires
?AGENT ?FORMULA))
Merge.kif 13200-13206
工程
は
要求
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
は
工程
の
patient
では %n
公式
は
公式
の
instance
では %n
認識エージェント
が
公式
を
desire
s %n{ない}
(=>
(
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
工程
は
Thanking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
AutonomousAgent
は
エンティティー
を
want
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
AutonomousAgent
が
エンティティー
を
desire
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 860-865
工程
は
Threatening
の
instance
では %n
公式
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
認識エージェント
が
公式
を
desire
ない
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 61-68
listingSeller
WebListing
and
認識エージェント
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
WebListing
の
patient
では %n
認識エージェント
が
エンティティー
エンティティー
は
エンティティー
の
patient
では %n を
desire
s %n{ない}
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