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
では %n
(
domainSubclass
hinders
2
Process
)
Merge.kif 4392-4392
hinders
の数値 2 引数は
工程
の
subclass
では %n
(
instance
hinders
BinaryPredicate
)
Merge.kif 4388-4388
hinders
は
2進述語
の
instance
では %n
(
instance
hinders
IrreflexiveRelation
)
Merge.kif 4389-4389
hinders
は
非反射関係
の
instance
では %n
(
instance
hinders
PartialValuedRelation
)
Merge.kif 4390-4390
hinders
は
部分的価値関係
の
instance
では %n
(
relatedInternalConcept
hinders
hindersSubclass
)
Merge.kif 4393-4393
hinders
は
hindersSubclass
に
internally
関連して %n
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
は
hinders
に
internally
関連して %n
(
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
工程
and
工程
エンティティー
エンティティー
工程
の
time
の existence は
エンティティー
と
equal
では %n
eventLocated
工程
and
エンティティー
は
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
エンティティー
は
エンティティー
の
during
holds %n{ない} を
decrease
s 可能性がある
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
物理
は
AutoAirbag
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Automobile
の
instance
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
を
contain
s %n{ない}
エンティティー
は
衝撃
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
Inflating
の
instance
では %n
物理
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
hinders
エンティティー
and
エンティティー
で記述される
class
の 目的 %n{ない}
(=>
(
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
物理
は
Protecting
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
ARM
エンティティー
は
オブジェクト
の
instance
では %n
オブジェクト
は
物理
の
patient
では %n
エンティティー
ARM は
エンティティー
で記述される
class
の
subclass
では %n
物理
は
エンティティー
ARM の出来事を
prevent
s %n{ない}
hinders
物理
and
エンティティー
ARM の 目的 %n{ない}
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