hinders - Sigma Knowledge base Browser

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 Processes.")	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 3632-3656	如果物理是 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 18421-18442	如果物理是 Protecting 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个第三实体ARM 这样那个实体是客体的 instance 和客体是那个物理的 patient 和那个第三实体ARM 是那个第三实体所描述的类别的 subclass 和那个物理 prevents 那个第三实体ARM 的发生或那个物理 hinders 那个第三实体ARM

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: