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
The number 1 argument of
suffers
is an
instance
of
process
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 29632-29632
The number 2 argument of
suffers
is an
instance
of
agent
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 29629-29629
suffers
is an
instance
of
binary relation
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 29628-29628
suffers
is an
instance
of
case role
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 29630-29630
suffers
is an
instance
of
partial valued relation
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
If
a time point
is
equal
to the
beginning
of the
time
of existence of
a process
and
another time point
is
equal
to the
end
of the
time
of existence of
an agent
and
the agent
suffers
from
the process
,
then
the time point
happens
before
the other time point
(=>
(
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
If
a process
is an
instance
of
gaslighting
and
an agent
is an
agent
of
the process
and
another agent
suffers
from
the process
,
then there exists
another process
such that
the other process
is an
instance
of
perception
and
the other agent
experience
s
the other process
and
the other agent
doesn't
know
an entity
is a
result
of
the other process
is a
causes
proposition of
the other agent
suffers
from
the process
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 29636-29639
If
an agent
suffers
from
a process
,
then
the agent
is not a beneficiary of
the process
(=>
(
suffers
?A ?B)
(
not
(
wants
?B ?A)))
Mid-level-ontology.kif 29661-29664
If
a cognitive agent
suffers
from
a process
,
then
the cognitive agent
doesn't
want
the 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
If
an agent
employ
s
a cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the cognitive agent
is an
agent
of
the other process
,
then the statement there exists
an entity
such that
the other process
cause
s
the entity
and
the cognitive agent
suffers
from
the entity
has the
modal
force
of
possibility
(=>
(
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
If
an agent
employ
s
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
the cognitive agent
is an
agent
of
the process
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the other cognitive agent
is an
agent
of
the other process
,
then the statement there exists
the cognitive agent
ROC such that
the process
cause
s
the cognitive agent
ROC and
the cognitive agent
suffers
from
the cognitive agent
ROC has the
modal
force
of
likely
(=>
(
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
If
a process
is an
instance
of
apologizing
and
the process
G is an
agent
of
the process
and
the process
end
s up at
another agent
,
then there exists
the process
CT such that
the other agent
suffers
from
the process
CT and
the process
G is an
agent
of
the process
CT and
the process
G doesn't
want
the process
CT holds
during
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
gaslighting
and
an agent
is an
agent
of
the process
and
another agent
suffers
from
the process
,
then there exists
another process
such that
the other process
is an
instance
of
perception
and
the other agent
experience
s
the other process
and
the other agent
doesn't
know
an entity
is a
result
of
the other process
is a
causes
proposition of
the other agent
suffers
from
the process
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 29641-29644
If
an agent
is a beneficiary of
a process
,
then not
the agent
suffers
from
the 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
If
a transfer
is an
instance
of
defrauding
,
then there exist
an agent
,
another agent
and
an object
such that
the agent
is an
agent
of
the transfer
and
the other agent
suffers
from
the transfer
and
the agent
is a beneficiary of
the transfer
and the object transferred in
the transfer
is
the object
and
the object
originate
s at
the other agent
and
the object
end
s up at
the agent
(=>
(
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
If
an entity
is an
instance
of
parasite
,
then the statement there exist
another entity
and
the entity
ROC such that
the entity
is
located
at
the other entity
and
the entity
is an
involved
in event of
the entity
ROC and
the other entity
is an
involved
in event of
the entity
ROC and
the entity
is a beneficiary of
the entity
ROC and
the other entity
suffers
from
the entity
ROC has the
modal
force
of
likely
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
If
a cognitive agent
is a
member
of
anti-vaxxer
,
then
the cognitive agent
believe
s
if
an entity
is an
instance
of
vaccination
and
another entity
experience
s
the entity
,
then
the other entity
suffers
from
the entity
(=>
(
punishes
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
suffers
?P ?H))))
Law.kif 140-145
If
an agent
punishes
another agent
,
then there exists
a process
such that
the agent
is an
agent
of
the process
and
the other agent
suffers
from
the process
(=>
(
victim
?P ?V)
(
suffers
?P ?V))
Law.kif 266-268
If
an agent
is the victim in
a criminal action
,
then
the agent
suffers
from
the criminal action
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