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
Le nombre 1 argument de
hinders
est une
instance
de
processus
(
domainSubclass
hinders
2
Process
)
Merge.kif 4392-4392
Le nombre 2 argument de
hinders
est une
sous
-classe de
processus
(
instance
hinders
BinaryPredicate
)
Merge.kif 4388-4388
hinders
est une
instance
de
pr�dicat binaire
(
instance
hinders
IrreflexiveRelation
)
Merge.kif 4389-4389
hinders
est une
instance
de
relation irr�flexive
(
instance
hinders
PartialValuedRelation
)
Merge.kif 4390-4390
hinders
est une
instance
de
relation partielle
(
relatedInternalConcept
hinders
hindersSubclass
)
Merge.kif 4393-4393
hinders
est
reli
� � l'int�rieur de SUMO �
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
prevents
est
reli
� � l'int�rieur de SUMO �
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
processus
and
processus
entit�
entit�
temps
d'existence de
processus
est
entit�
eventLocated
processus
and
entit�
diminue
la probabilit� de
entit�
entit�
est une
instance
de
processus
eventLocated
entit�
and
entit�
pendant
entit�
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
Physique
est une
instance
de
AutoAirbag
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
physique
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
contient
entit�
entit�
est une
instance
de
impacte
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Inflating
physique
est un
patient
de
entit�
entit�
cause
entit�
hinders
entit�
and la
classe
d�crite par
entit�
(=>
(
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
Physique
est une
instance
de
Protecting
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
ARM
entit�
est une
instance
de
objet
objet
est un
patient
de
physique
entit�
ARM est une
sous
-classe de la
classe
d�crite par
entit�
physique
previent
l'occurrence de
entit�
ARM
hinders
physique
and
entit�
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