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
Die Zahl 1 Argument von
suffers
ist ein
fall
von
Process
%n{nicht}
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 29632-29632
Die Zahl 2 Argument von
suffers
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 29629-29629
suffers
ist ein
fall
von
BinaryRelation
%n{nicht}
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 29628-29628
suffers
ist ein
fall
von
CaseRole
%n{nicht}
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 29630-29630
suffers
ist ein
fall
von
PartialValuedRelation
%n{nicht}
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
Wenn
TimePoint
ist gleich der
anfang
von die
zeit
des Bestehens von
Process
%n{nicht} und
** TimePoint
ist gleich das
ende
von die
zeit
des Bestehens von
AutonomousAgent
%n{nicht} und
suffers
** Process
and
** AutonomousAgent
,
dann
** TimePoint
geschieht
vor
** ** TimePoint
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Gaslighting
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
suffers
** Process
and
** AutonomousAgent
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Perception
%n{nicht} und
** ** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
causesProposition
suffers
** Process
and
** ** AutonomousAgent
and
** ** AutonomousAgent
kennt
entity
ist ein
resultat
von
** ** Process
%n{nicht} nicht
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 29636-29639
Wenn
suffers
Process
and
AutonomousAgent
,
dann
benefits
** Process
and
** AutonomousAgent
(=>
(
suffers
?A ?B)
(
not
(
wants
?B ?A)))
Mid-level-ontology.kif 29661-29664
Wenn
suffers
Process
and
CognitiveAgent
,
dann
** CognitiveAgent
wuenscht
** Process
nicht
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
Wenn
AutonomousAgent
beschaeftigt
CognitiveAgent
%n{nicht} und
Process
ist ein
fall
von
DoNetworkMessaging
%n{nicht} und
Object
ist ein
resultat
von
** Process
%n{nicht} und
NSFW
ist ein
attribut
von
** Object
%n{nicht} und
** Process
ist ein
fall
von
Seeing
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht},
dann die Aussage es gibt
entity
um
** ** Process
verursacht
** entity
%n{nicht} und
suffers
** entity
and
** CognitiveAgent
hat die modale Kraft von
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
Wenn
AutonomousAgent
beschaeftigt
CognitiveAgent
%n{nicht} und
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
Process
ist ein
fall
von
DoNetworkMessaging
%n{nicht} und
Object
ist ein
resultat
von
** Process
%n{nicht} und
NSFW
ist ein
attribut
von
** Object
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Process
ist ein
fall
von
Seeing
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** ** CognitiveAgent
%n{nicht},
dann die Aussage es gibt
** CognitiveAgent
ROC um
** Process
verursacht
** CognitiveAgent
ROC %n{nicht} und
suffers
** CognitiveAgent
ROC and
** CognitiveAgent
hat die modale Kraft von
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
Wenn
Process
ist ein
fall
von
Apologizing
%n{nicht} und
** Process
ist der
agent
von
** Process
G %n{nicht} und
** Process
endet an
** AutonomousAgent
%n{nicht},
dann es gibt
** Process
CT um
suffers
** Process
CT and
** ** AutonomousAgent
und
** Process
CT ist der
agent
von
** Process
G %n{nicht} und
** Process
G wuenscht
** Process
CT nicht haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Gaslighting
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
suffers
** Process
and
** AutonomousAgent
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Perception
%n{nicht} und
** ** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
causesProposition
suffers
** Process
and
** ** AutonomousAgent
and
** ** AutonomousAgent
kennt
entity
ist ein
resultat
von
** ** Process
%n{nicht} nicht
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 29641-29644
Wenn
benefits
Process
and
AutonomousAgent
,
dann
suffers
** Process
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 18338-18347
Wenn
Transfer
ist ein
fall
von
Defrauding
%n{nicht},
dann es gibt
AutonomousAgent
,
** AutonomousAgent
, and und
Object
um
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffers
** Transfer
and
** ** AutonomousAgent
und
benefits
** Transfer
and
** AutonomousAgent
und
objectTransferred
** Transfer
and
** Object
und
** Object
beginnet an
** ** AutonomousAgent
%n{nicht} und
** Object
endet an
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
Parasite
%n{nicht},
dann die Aussage es gibt
** entity
und
** Entity
ROC um
** Entity
befindet
sich an %n{nicht} und
involvedInEvent
** Entity
ROC and
** Entity
und
involvedInEvent
** Entity
ROC and
** ** entity
und
benefits
** Entity
ROC and
** Entity
und
suffers
** Entity
ROC and
** ** entity
hat die modale Kraft von
Likely
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
Wenn
CognitiveAgent
ist ein
Mitglied
von
AntiVaxxer
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass
wenn
entity
ist ein
fall
von
Vaccination
%n{nicht} und
** entity
erfaehrt
** entity
%n{nicht},
dann
suffers
** entity
and
** ** entity
(=>
(
punishes
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
suffers
?P ?H))))
Law.kif 140-145
Wenn
punishes
AutonomousAgent
and
** AutonomousAgent
,
dann es gibt
Process
um
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffers
** Process
and
** ** AutonomousAgent
(=>
(
victim
?P ?V)
(
suffers
?P ?V))
Law.kif 266-268
Wenn
victim
CriminalAction
and
AutonomousAgent
,
dann
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