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
Il numero 1 argomenti di
suffers
è un
istanza
di
Processo
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 29581-29581
Il numero 2 argomenti di
suffers
è un
istanza
di
AutonomousAgent
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 29578-29578
suffers
è un'
istanza
di
RelazioneBinaria
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 29577-29577
suffers
è un'
istanza
di
RuoloSemantico
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 29579-29579
suffers
è un'
istanza
di
RelazioneAValoreParziale
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
PuntoTemporale
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
PuntoTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
AutonomousAgent
suffers
Processo
and
AutonomousAgent
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
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
è un'
istanza
di
Gaslighting
Processo
è un
agente
di
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
Processo
causesProposition
suffers
Processo
and
AutonomousAgent
and
AutonomousAgent
non
conosce
Entit�
è un
risultato
di
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
AgenteCognitivo
AgenteCognitivo
non
vuole
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
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
Entit�
Processo
causa
s
Entit�
suffers
Entit�
and
AgenteCognitivo
ha il modello di forza di
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
impiega
s
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
è un'
istanza
di
DoNetworkMessaging
Oggetto
è un
risultato
di
Processo
attribute
Oggetto
and
NSFW
Processo
è un
agente
di
AgenteCognitivo
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
l'affermazione
AgenteCognitivo
ROC
Processo
causa
s
AgenteCognitivo
ROC
suffers
AgenteCognitivo
ROC and
AgenteCognitivo
ha il modello di forza di
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
è un'
istanza
di
Apologizing
Processo
è un
agente
di
Processo
G
Processo
fine
s in
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT è un
agente
di
Processo
G
Processo
G non
vuole
Processo
CT vales
durante
il
tempo
di esistenza di
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
è un'
istanza
di
Gaslighting
Processo
è un
agente
di
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
Processo
causesProposition
suffers
Processo
and
AutonomousAgent
and
AutonomousAgent
non
conosce
Entit�
è un
risultato
di
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
Trasferimento
è un'
istanza
di
Defrauding
AutonomousAgent
AutonomousAgent
and
Oggetto
Trasferimento
è un
agente
di
AutonomousAgent
suffers
Trasferimento
and
AutonomousAgent
benefits
Trasferimento
and
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
Oggetto
si
originas in
AutonomousAgent
Oggetto
fine
s in
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
Entit�
è un'
istanza
di
Parasite
l'affermazione
Entit�
Entit�
ROC
Entit�
è
localizzato
in
Entit�
involvedInEvent
Entit�
ROC and
Entit�
involvedInEvent
Entit�
ROC and
Entit�
benefits
Entit�
ROC and
Entit�
suffers
Entit�
ROC and
Entit�
ha il modello di forza di
Likely
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
AgenteCognitivo
è un
membro
di
AntiVaxxer
AgenteCognitivo
crede
s
Entit�
è un'
istanza
di
Vaccination
Entit�
esperisce
s
Entit�
suffers
Entit�
and
Entit�
(=>
(
punishes
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
suffers
?P ?H))))
Law.kif 140-145
punishes
AutonomousAgent
and
AutonomousAgent
Processo
Processo
è un
agente
di
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