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
hinders
Sigma KEE - hinders
hinders
appearance as argument number 1
(
documentation
hinders
ChineseLanguage
"这是一个概括的
Predicate
,(hinders ?PROC1 ?PROC2) 的意思是 ?PROC1 的一个实例
decreasesLikelihood
?PROC2 类的发生。这个比
prevents
要弱,而
hindersSubclass
则是联系
Process
类别之间的关系。")
chinese_format.kif 2151-2153
(
documentation
hinders
EnglishLanguage
"A general
Predicate
, where (hinders ?PROC1 ?PROC2) means that an instance of ?PROC1
decreasesLikelihood
of occurrence of ?PROC2. Compare with
prevents
which is stronger and
hindersSubclass
which relates classes of
Process
es.")
Merge.kif 4395-4397
(
documentation
hinders
JapaneseLanguage
"一般的な
Predicate
は、(hinders ?PROC1 ?PROC2) が?PROC2の発生の?PROC1
decreasesLikelihood
のインスタンスを意味する。
Process
のクラスに 関連するより強く
hindersSubclass
の
prevents
と比較する。")
japanese_format.kif 807-809
(
domain
hinders
1
Process
)
Merge.kif 4391-4391
hinders
的 1 数量 是
过程
的
instance
(
domainSubclass
hinders
2
Process
)
Merge.kif 4392-4392
hinders
的 2 数量 是
过程
的
subclass
(
instance
hinders
BinaryPredicate
)
Merge.kif 4388-4388
hinders
是
二元谓语
的
instance
(
instance
hinders
IrreflexiveRelation
)
Merge.kif 4389-4389
hinders
是
非自反关系
的
instance
(
instance
hinders
PartialValuedRelation
)
Merge.kif 4390-4390
hinders
是
部分值关系
的
instance
(
relatedInternalConcept
hinders
hindersSubclass
)
Merge.kif 4393-4393
hinders
和
hindersSubclass
是 内部相关
appearance as argument number 2
(
format
ChineseLanguage
hinders
"%1
hinders
%2 ")
domainEnglishFormat.kif 3630-3630
(
format
ChineseTraditionalLanguage
hinders
"%1
hinders
%2 ")
domainEnglishFormat.kif 3629-3629
(
format
EnglishLanguage
hinders
"%1
hinders
%2")
domainEnglishFormat.kif 3628-3628
(
relatedInternalConcept
prevents
hinders
)
Merge.kif 4370-4370
阻止
和
hinders
是 内部相关
(
termFormat
EnglishLanguage
hinders
"hinders")
domainEnglishFormat.kif 65851-65851
antecedent
(=>
(
hinders
?X ?PROC)
(
exists
(?L ?T)
(
decreasesLikelihood
(
and
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?PROC)
(
eventLocated
?Y ?L)))))))
Merge.kif 4399-4410
如果
过程
hinders
另一个 有点 过程
,
然后 有存在
实体
和
另一个 实体
这样
那个 过程
出现 的
time
equal
那个 另外 实体
和
那个 过程
是
located
在
那个 实体
减少 有存在
第三 实体
这样
那个 第三 实体
是
另一个 有点 过程
的
instance
和
那个 第三 实体
是
located
在
那个 实体
在
那个 另外 实体
holdsDuring
发生的机率
consequent
(=>
(
instance
?X
AutoAirbag
)
(
hasPurpose
?X
(
exists
(?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(
and
(
instance
?CAR
Automobile
)
(
part
?X ?CAR)
(
instance
?PERSON
Human
)
(
contains
?CAR ?PERSON)
(
instance
?IMP
Impacting
)
(
patient
?IMP ?CAR)
(
instance
?INF
Inflating
)
(
patient
?INF ?X)
(
causes
?IMP ?INF)
(
hinders
?INF
(
KappaFn
?INJ
(
and
(
instance
?INJ
Injuring
)
(
experiencer
?INJ ?PERSON)
(
exists
(?HIT)
(
and
(
instance
?HIT
Impacting
)
(
destination
?HIT ?CAR)
(
experiencer
?HIT ?PERSON)
(
causes
?HIT ?INJ))))))))))
Cars.kif 3640-3664
如果
物理
是
AutoAirbag
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 实体
是
汽车
的
instance
和
那个 物理
是
那个 实体
的
part
和
那个 另外 实体
是
人类
的
instance
和
那个 实体
contains
那个 另外 实体
和
那个 第三 实体
是
碰撞
的
instance
和
那个 实体
是
那个 第三 实体
的
patient
和
那个 第四 实体
是
Inflating
的
instance
和
那个 物理
是
那个 第四 实体
的
patient
和
那个 第三 实体
causes
那个 第四 实体
和
那个 第四 实体
hinders
那个 第五 实体
所描述的类别
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18420-18441
如果
物理
是
Protecting
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
那个 第三 实体
ARM 这样
那个 实体
是
客体
的
instance
和
客体
是
那个 物理
的
patient
和
那个 第三 实体
ARM 是
那个 第三 实体
所描述的类别 的
subclass
和
那个 物理
prevents
那个 第三 实体
ARM 的发生 或
那个 物理
hinders
那个 第三 实体
ARM
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