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
Il numero 1 argomenti di
hinders
è un
istanza
di
Processo
(
domainSubclass
hinders
2
Process
)
Merge.kif 4392-4392
Il numero 2 argomento
hinders
è una
sottoclasse
di
Processo
(
instance
hinders
BinaryPredicate
)
Merge.kif 4388-4388
hinders
è un'
istanza
di
PredicatoBinario
(
instance
hinders
IrreflexiveRelation
)
Merge.kif 4389-4389
hinders
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
hinders
PartialValuedRelation
)
Merge.kif 4390-4390
hinders
è un'
istanza
di
RelazioneAValoreParziale
(
relatedInternalConcept
hinders
hindersSubclass
)
Merge.kif 4393-4393
hinders
è
interamente
correlato a
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
è
interamente
correlato a
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
Processo
and
Processo
Entit�
Entit�
decreasesLikelihood
il
tempo
di esistenza di
Processo
is
uguale
a
Entit�
eventLocated
Processo
and
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Entit�
vales
durante
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
Entit�Concreta
è un'
istanza
di
AutoAirbag
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Automobile
Entit�Concreta
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
contains
Entit�
and
Entit�
Entit�
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Inflating
Entit�Concreta
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
hinders
Entit�
and la
classe
descritta da
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
Entit�Concreta
è un'
istanza
di
Protecting
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
ARM
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Entit�Concreta
Entit�
ARM è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�Concreta
impedisce
l'occorrenza di
Entit�
ARM
hinders
Entit�Concreta
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