TreeView Knowledge Base Browser

appearance as argument number 1

(instance hinders BinaryPredicate)	Merge.kif 4501-4501	hinders is an instance of binary predicate
(instance hinders PartialValuedRelation)	Merge.kif 4502-4502	hinders is an instance of partial valued relation
(domain hinders 1 Process)	Merge.kif 4503-4503	The number 1 argument of hinders is an instance of process
(domainSubclass hinders 2 Process)	Merge.kif 4504-4504	The number 2 argument of hinders is a subclass of process
(relatedInternalConcept hinders hindersSubclass)	Merge.kif 4505-4505	hinders is internally related to hinders subclass
(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 4507-4509	hinders is internally related to hinders subclass

appearance as argument number 2

(relatedInternalConcept prevents hinders)	Merge.kif 4483-4483	prevents is internally related to hinders
(format EnglishLanguage hinders "%1 hinders %2")	domainEnglishFormat.kif 3626-3626	prevents is internally related to hinders
(format ChineseTraditionalLanguage hinders "%1 hinders %2 ")	domainEnglishFormat.kif 3627-3627	prevents is internally related to hinders
(format ChineseLanguage hinders "%1 hinders %2 ")	domainEnglishFormat.kif 3628-3628	prevents is internally related to hinders
(termFormat EnglishLanguage hinders "hinders")	domainEnglishFormat.kif 65867-65867	prevents is internally related to hinders

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 4511-4522

If X hinders Y, then there exist Z, W such that equal the time of existence of X, W, X is located at Z decreases likelihood of there exists V such that V is an instance of Y, and V is located at Z holds during W

consequent

(=> (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 20326-20347	If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V
(=> (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 3500-3524	If X is an instance of airbag, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of human (5) Y contains Z (6) W is an instance of impacting (7) Y is a patient of W (8) V is an instance of inflating (9) X is a patient of V (10) W causes V (11) V hinders the class described by U

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

KB Term:			Term intersection

English Word: