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
Dressing
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
suffers
的 1 数量 是
过程
的
instance
(
domain
suffers
2
AutonomousAgent
)
Mid-level-ontology.kif 29581-29581
suffers
的 2 数量 是
施事体
的
instance
(
instance
suffers
BinaryRelation
)
Mid-level-ontology.kif 29578-29578
suffers
是
二元关系
的
instance
(
instance
suffers
CaseRole
)
Mid-level-ontology.kif 29577-29577
suffers
是
格角色
的
instance
(
instance
suffers
PartialValuedRelation
)
Mid-level-ontology.kif 29579-29579
suffers
是
部分值关系
的
instance
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
如果
时点
equal
过程
出现 的
time
的开始 和
另一个 时点
equal
施事体
出现 的
time
的结束 和
那个 施事体
suffers
从
那个 过程
,
然后
那个 时点
%n在
那个 另外 时点
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 3665-3678
如果
过程
是
Gaslighting
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
suffers
从
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
感知
的
instance
和
那个 另外 施事体
经历了
那个 另外 过程
和
那个 另外 施事体
doesn't
knows
实体
是
那个 另外 过程
的
result
是
那个 另外 施事体
suffers
从
那个 过程
的
causes
提议
(=>
(
suffers
?A ?B)
(
not
(
benefits
?A ?B)))
Mid-level-ontology.kif 29585-29588
如果
施事体
suffers
从
过程
,
然后
那个 施事体
不 是
那个 过程
的 受益者
(=>
(
suffers
?A ?B)
(
not
(
wants
?B ?A)))
Mid-level-ontology.kif 29610-29613
如果
有认知的主事
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 3040-3054
如果
施事体
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 3022-3038
如果
施事体
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 29620-29632
如果
过程
是
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 3665-3678
如果
过程
是
Gaslighting
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
suffers
从
那个 过程
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
感知
的
instance
和
那个 另外 施事体
经历了
那个 另外 过程
和
那个 另外 施事体
doesn't
knows
实体
是
那个 另外 过程
的
result
是
那个 另外 施事体
suffers
从
那个 过程
的
causes
提议
(=>
(
benefits
?A ?B)
(
not
(
suffers
?A ?B)))
Mid-level-ontology.kif 29590-29593
如果
施事体
是
过程
的 受益者,
然后 不
那个 施事体
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 18311-18320
如果
转移
是
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 5894-5904
如果
实体
是
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 3061-3068
如果
有认知的主事
是
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 266-268
如果
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