Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 Processes.") Merge.kif 4395-4397
(documentation hinders JapaneseLanguage "一般的な Predicate は、(hinders ?PROC1 ?PROC2) が?PROC2の発生の?PROC1 decreasesLikelihood のインスタンスを意味する。 Process のクラスに 関連するより強く hindersSubclassprevents と比較する。") 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 hinders2進述語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 hindershindersSubclassinternally 関連して %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 preventshindersinternally 関連して %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

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
(=>
    (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


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