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
O argumento numero 1 de
suffers
e' uma
instancia
de
Processo
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 29581-29581
O argumento numero 2 de
suffers
e' uma
instancia
de
AutonomousAgent
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 29578-29578
suffers
e' uma
instancia
de
Relacao Binaria
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 29577-29577
suffers
e' uma
instancia
de
Role em Caso
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 29579-29579
suffers
e' uma
instancia
de
Relacao Parcial
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
Ponto no tempo
e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Ponto no tempo
e'
igual
a o
fim
de
tempo
de existencia de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
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
Processo
e' uma
instancia
de
Gaslighting
Processo
e' um
agente
de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
Processo
causesProposition
suffers
Processo
and
AutonomousAgent
and
AutonomousAgent
nao
sabe
%n
Entidade
e' o
resultado
de
Processo
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 29585-29588
suffers
Processo
and
AutonomousAgent
benefits
Processo
and
AutonomousAgent
(=>
(
suffers
?A ?B)
(
not
(
wants
?B ?A)))
Mid-level-ontology.kif 29610-29613
suffers
Processo
and
Agente Cognitivo
Agente Cognitivo
nao
quer
%n
Processo
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
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Entidade
Processo
causa
Entidade
suffers
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
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
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Agente Cognitivo
ROC
Processo
causa
Agente Cognitivo
ROC
suffers
Agente Cognitivo
ROC and
Agente Cognitivo
tem a
forca
modal
de
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 29620-29632
Processo
e' uma
instancia
de
Apologizing
Processo
e' um
agente
de
Processo
G
Processo
termina
em
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT e' um
agente
de
Processo
G
Processo
G nao
quer
%n
Processo
CT
vale
durante
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Gaslighting
Processo
e' um
agente
de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
Processo
causesProposition
suffers
Processo
and
AutonomousAgent
and
AutonomousAgent
nao
sabe
%n
Entidade
e' o
resultado
de
Processo
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 29590-29593
benefits
Processo
and
AutonomousAgent
suffers
Processo
and
AutonomousAgent
(=>
(
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
Transferencia
e' uma
instancia
de
Defrauding
AutonomousAgent
AutonomousAgent
and
Objeto
Transferencia
e' um
agente
de
AutonomousAgent
suffers
Transferencia
and
AutonomousAgent
benefits
Transferencia
and
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
Objeto
tem como
origem
AutonomousAgent
Objeto
termina
em
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
Entidade
e' uma
instancia
de
Parasite
o argumento
Entidade
Entidade
ROC
Entidade
e'
situado
em
Entidade
involvedInEvent
Entidade
ROC and
Entidade
involvedInEvent
Entidade
ROC and
Entidade
benefits
Entidade
ROC and
Entidade
suffers
Entidade
ROC and
Entidade
tem a
forca
modal
de
Likely
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
Agente Cognitivo
e'
membro
de
AntiVaxxer
Agente Cognitivo
acredita
que
Entidade
e' uma
instancia
de
Vaccination
Entidade
experimenta
Entidade
suffers
Entidade
and
Entidade
(=>
(
punishes
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
suffers
?P ?H))))
Law.kif 140-145
punishes
AutonomousAgent
and
AutonomousAgent
Processo
Processo
e' um
agente
de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
(=>
(
victim
?P ?V)
(
suffers
?P ?V))
Law.kif 266-268
victim
CriminalAction
and
AutonomousAgent
suffers
CriminalAction
and
AutonomousAgent
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