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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hinders
hinders

appearance as argument number 1
-------------------------


(documentation hinders ChineseLanguage "这是一个概括的 Predicate,(hinders ?PROC1 ?PROC2) 的意思是 ?PROC1 的一个实例 decreasesLikelihood ?PROC2 类的发生。这个比 prevents 要弱,而 hindersSubclass 则是联系 Process 类别之间的关系。") Merge.kif 4505-4507
(documentation hinders EnglishLanguage "A genral 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 4504-4504
(domain hinders 1 Process) Merge.kif 4501-4501
(domainSubclass hinders 2 Process) Merge.kif 4502-4502
(instance hinders BinaryPredicate) Merge.kif 4498-4498
(instance hinders IrreflexiveRelation) Merge.kif 4499-4499
(instance hinders PartialValuedRelation) Merge.kif 4500-4500
(relatedInternalConcept hinders hindersSubclass) Merge.kif 4503-4503

appearance as argument number 2
-------------------------


(format EnglishLanguage hinders "%1 hinders %2") domainEnglishFormat.kif 917-917
(relatedInternalConcept prevents hinders) Merge.kif 4480-4480

antecedent
-------------------------


(=>
    (hinders ?X ?PROC)
    (decreasesLikelihood
        (and
            (equal
                (WhenFn ?X) ?T)
            (eventLocated ?X ?L))
        (holdsDuring ?T
            (exists (?Y)
                (and
                    (instance ?Y ?PROC)
                    (eventLocated ?Y ?L))))))
Merge.kif 4509-4519

consequent
-------------------------


(=>
    (instance ?X AutoAirbag)
    (hasPurpose ?X
        (exists (?CAR ?PERSON ?IMP ?INF)
            (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 3599-3623
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ)
            (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 15975-15996


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners