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
The number 1 argument of
hinders
is an
instance
of
process
(
domainSubclass
hinders
2
Process
)
Merge.kif 4392-4392
The number 2 argument of
hinders
is a
subclass
of
process
(
instance
hinders
BinaryPredicate
)
Merge.kif 4388-4388
hinders
is an
instance
of
binary predicate
(
instance
hinders
IrreflexiveRelation
)
Merge.kif 4389-4389
hinders
is an
instance
of
irreflexive relation
(
instance
hinders
PartialValuedRelation
)
Merge.kif 4390-4390
hinders
is an
instance
of
partial valued relation
(
relatedInternalConcept
hinders
hindersSubclass
)
Merge.kif 4393-4393
hinders
is
internally
related to
hinders subclass
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
prevents
is
internally
related to
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
If
a process
hinders
another kind of process
,
then there exist
an entity
and
another entity
such that the
time
of existence of
the process
is
equal
to
the other entity
and
the process
is
located
at
the entity
decrease
s likelihood of there exists
a third entity
such that
the third entity
is an
instance
of
another kind of process
and
the third entity
is
located
at
the entity
holds
during
the other entity
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 3632-3656
If
a physical
is an
instance
of
airbag
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the entity
is an
instance
of
automobile
and
the physical
is a
part
of
the entity
and
the other entity
is an
instance
of
human
and
the entity
contain
s
the other entity
and
the third entity
is an
instance
of
impacting
and
the entity
is a
patient
of
the third entity
and
the fourth entity
is an
instance
of
inflating
and
the physical
is a
patient
of
the fourth entity
and
the third entity
cause
s
the fourth entity
and
the fourth entity
hinders
the
class
described by
the fifth entity
(=>
(
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 18421-18442
If
a physical
is an
instance
of
protecting
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the third entity
ARM such that
the entity
is an
instance
of
object
and
object
is a
patient
of
the physical
and
the third entity
ARM is a
subclass
of the
class
described by
the third entity
and
the physical
prevent
s the occurrence of
the third entity
ARM or
the physical
hinders
the third entity
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