Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Entity
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 31501-31502
(
domain
suffers
1
Process
)
Mid-level-ontology.kif 31499-31499
suffers
的 1 数量 是
过程
的
instance
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 31500-31500
suffers
的 2 数量 是
施事体
的
instance
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 31497-31497
suffers
是
二元关系
的
instance
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 31496-31496
suffers
是
格角色
的
instance
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 31498-31498
suffers
是
部分值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
suffers
"%2
suffers
从 %1 ")
domainEnglishFormat.kif 4722-4722
(
format
ChineseTraditionalLanguage
suffers
"%2
suffers
從 %1 ")
domainEnglishFormat.kif 4721-4721
(
format
EnglishLanguage
suffers
"%2
suffers
from %1")
domainEnglishFormat.kif 4720-4720
(
termFormat
EnglishLanguage
suffers
"suffers")
domainEnglishFormat.kif 65975-65975
antecedent
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 31514-31523
如果
equal
时点
and
过程
出现 的
time
的开始 和
equal
另一个 时点
and
施事体
出现 的
time
的结束 和
那个 施事体
suffers
从
那个 过程
,
然后
那个 时点
在
那个 另外 时点
before
发生
(=>
(
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 3668-3681
如果
过程
是
Gaslighting
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
suffers
从
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
感知
的
instance
和
那个 另外 施事体
经历了
那个 另外 过程
和
那个 另外 施事体
doesn't
knows
实体
是
那个 另外 过程
的
result
是
那个 另外 施事体
suffers
从
那个 过程
的
causes
提议
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 31504-31507
如果
施事体
suffers
从
过程
,
然后
那个 施事体
不 是
那个 过程
的 受益者
(=>
(
suffers
?A ?B)
(
not
(
wants
?B ?A)))
Mid-level-ontology.kif 31529-31532
如果
有认知的主事
suffers
从
过程
,
然后
那个 有认知的主事
doesn't
wants
那个 过程
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 3041-3055
如果
施事体
employs
有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
实体
这样
那个 另外 过程
causes
那个 实体
和
那个 有认知的主事
suffers
从
那个 实体
的声明 has
可能性
的语气
(=>
(
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 3023-3039
如果
施事体
employs
有认知的主事
和
那个 施事体
employs
另一个 有认知的主事
和
过程
是
DoNetworkMessaging
的
instance
和
客体
是
那个 过程
的
result
和
NSFW
是
那个 客体
的
attribute
和
那个 有认知的主事
是
那个 过程
的
agent
和
另一个 过程
是
看
的
instance
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 另外 有认知的主事
是
那个 另外 过程
的
agent
,
然后 有存在
那个 有认知的主事
ROC 这样
那个 过程
causes
那个 有认知的主事
ROC 和
那个 有认知的主事
suffers
从
那个 有认知的主事
ROC 的声明 has
容易
的语气
(=>
(
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 31539-31551
如果
过程
是
Apologizing
的
instance
和
那个 过程
G 是
那个 过程
的
agent
和
那个 过程
在
另一个 施事体
结束,
然后 有存在
那个 过程
CT 这样
那个 另外 施事体
suffers
从
那个 过程
CT 和
那个 过程
G 是
那个 过程
CT 的
agent
和
那个 过程
G doesn't
wants
那个 过程
CT 在
那个 过程
出现 的
time
holdsDuring
(=>
(
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 3668-3681
如果
过程
是
Gaslighting
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
suffers
从
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
感知
的
instance
和
那个 另外 施事体
经历了
那个 另外 过程
和
那个 另外 施事体
doesn't
knows
实体
是
那个 另外 过程
的
result
是
那个 另外 施事体
suffers
从
那个 过程
的
causes
提议
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 31509-31512
如果
施事体
是
过程
的 受益者,
然后 不
那个 施事体
suffers
从
那个 过程
(=>
(
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 19882-19891
如果
转移
是
Defrauding
的
instance
,
然后 有存在
施事体
,
另一个 施事体
, and 和
客体
这样
那个 施事体
是
那个 转移
的
agent
和
那个 另外 施事体
suffers
从
那个 转移
和
那个 施事体
是
那个 转移
的 受益者 和
objectTransferred
那个 转移
and
那个 客体
和
那个 另外 施事体
是
那个 客体
的源头 和
那个 客体
在
那个 施事体
结束
(=>
(
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 6831-6841
如果
实体
是
Parasite
的
instance
,
然后 有存在
另一个 实体
和
那个 实体
ROC 这样
那个 实体
是
located
在
那个 另外 实体
和
那个 实体
是事件
那个 实体
ROC 的
involved
和
那个 另外 实体
是事件
那个 实体
ROC 的
involved
和
那个 实体
是
那个 实体
ROC 的 受益者 和
那个 另外 实体
suffers
从
那个 实体
ROC 的声明 has
容易
的语气
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3062-3069
如果
有认知的主事
是
AntiVaxxer
的
member
,
然后
那个 有认知的主事
believes
如果
实体
是
Vaccination
的
instance
和
另一个 实体
经历了
那个 实体
,
然后
那个 另外 实体
suffers
从
那个 实体
(=>
(
punishes
?A ?H)
(
exists
(?P)
(
and
(
agent
?P ?A)
(
suffers
?P ?H))))
Law.kif 140-145
如果
punishes
施事体
and
另一个 施事体
,
然后 有存在
过程
这样
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
suffers
从
那个 过程
(=>
(
victim
?P ?V)
(
suffers
?P ?V))
Law.kif 269-271
如果
victim
犯罪行为
and
施事体
,
然后
那个 施事体
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