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
suffers
Sigma KEE - suffers
suffers
appearance as argument number 1
(
documentation
suffers
EnglishLanguage
"The opposite of
benefits
. The
Agent
does not want the action to occur.")
Mid-level-ontology.kif 29633-29634
(
domain
suffers
1
Process
)
Mid-level-ontology.kif 29631-29631
域
suffers
, 1 and
Process
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 29632-29632
域
suffers
, 2 and
AutonomousAgent
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 29629-29629
例
suffers
and
BinaryRelation
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 29628-29628
例
suffers
and
CaseRole
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 29630-29630
例
suffers
and
PartialValuedRelation
appearance as argument number 2
(
format
ChineseLanguage
suffers
"%2
suffers
从 %1 ")
domainEnglishFormat.kif 4718-4718
(
format
ChineseTraditionalLanguage
suffers
"%2
suffers
從 %1 ")
domainEnglishFormat.kif 4717-4717
(
format
EnglishLanguage
suffers
"%2
suffers
from %1")
domainEnglishFormat.kif 4716-4716
(
termFormat
EnglishLanguage
suffers
"suffers")
domainEnglishFormat.kif 65950-65950
antecedent
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29646-29655
等於
TimePoint
and
開始
何時
Process
等於
TimePoint
and
結束
何時
AutonomousAgent
AutonomousAgent
suffers
從
Process
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
例
Process
and
Gaslighting
agent
Process
and
AutonomousAgent
AutonomousAgent
suffers
從
Process
Process
例
Process
and
Perception
體驗者
Process
and
AutonomousAgent
知道
AutonomousAgent
and
結果
Process
and
entity
是
AutonomousAgent
suffers
從
Process
的
causes
提議
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 29636-29639
AutonomousAgent
suffers
從
Process
好處
Process
and
AutonomousAgent
(=>
(
suffers
?A ?B)
(
not
(
wants
?B ?A)))
Mid-level-ontology.kif 29661-29664
CognitiveAgent
suffers
從
Process
想要
CognitiveAgent
and
Process
consequent
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
entity
原因
Process
and
entity
CognitiveAgent
suffers
從
entity
and
可能性
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
採用
AutonomousAgent
and
CognitiveAgent
採用
AutonomousAgent
and
CognitiveAgent
例
Process
and
DoNetworkMessaging
結果
Process
and
Object
attribute
Object
and
NSFW
agent
Process
and
CognitiveAgent
例
Process
and
Seeing
患者
Process
and
Object
agent
Process
and
CognitiveAgent
模態屬性
CognitiveAgent
ROC
原因
Process
and
CognitiveAgent
ROC
CognitiveAgent
suffers
從
CognitiveAgent
ROC and
容易
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29671-29683
例
Process
and
Apologizing
agent
Process
and
Process
G
目的地
Process
and
AutonomousAgent
Process
CT
AutonomousAgent
suffers
從
Process
CT
agent
Process
CT and
Process
G
持有期間
何時
Process
and
想要
Process
G and
Process
CT
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
例
Process
and
Gaslighting
agent
Process
and
AutonomousAgent
AutonomousAgent
suffers
從
Process
Process
例
Process
and
Perception
體驗者
Process
and
AutonomousAgent
知道
AutonomousAgent
and
結果
Process
and
entity
是
AutonomousAgent
suffers
從
Process
的
causes
提議
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 29641-29644
好處
Process
and
AutonomousAgent
AutonomousAgent
suffers
從
Process
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18338-18347
例
Transfer
and
Defrauding
AutonomousAgent
AutonomousAgent
and
Object
agent
Transfer
and
AutonomousAgent
AutonomousAgent
suffers
從
Transfer
好處
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
起源
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5888-5898
例
Entity
and
Parasite
模態屬性
entity
Entity
ROC
位於
Entity
and
entity
Entity
是事件
Entity
ROC 的
involved
entity
是事件
Entity
ROC 的
involved
好處
Entity
ROC and
Entity
entity
suffers
從
Entity
ROC and
容易
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
會員
CognitiveAgent
and
AntiVaxxer
相信
CognitiveAgent
and
例
entity
and
Vaccination
體驗者
entity
and
entity
entity
suffers
從
entity
(=>
(
punishes
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
suffers
?P ?H))))
Law.kif 140-145
punishes
AutonomousAgent
and
AutonomousAgent
Process
agent
Process
and
AutonomousAgent
AutonomousAgent
suffers
從
Process
(=>
(
victim
?P ?V)
(
suffers
?P ?V))
Law.kif 266-268
victim
犯罪行為
and
AutonomousAgent
AutonomousAgent
suffers
從
犯罪行為
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