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 29582-29583
(
domain
suffers
1
Process
)
Mid-level-ontology.kif 29580-29580
域
suffers
, 1 and
Process
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 29581-29581
域
suffers
, 2 and
AutonomousAgent
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 29578-29578
例
suffers
and
BinaryRelation
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 29577-29577
例
suffers
and
CaseRole
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 29579-29579
例
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 65948-65948
antecedent
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
等於
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 29585-29588
AutonomousAgent
suffers
從
Process
好處
Process
and
AutonomousAgent
(=>
(
suffers
?A ?B)
(
not
(
wants
?B ?A)))
Mid-level-ontology.kif 29610-29613
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 29620-29632
例
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 29590-29593
好處
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 18311-18320
例
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 5894-5904
例
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