Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| hinders |
| appearance as argument number 1 |
|
| s__instance(s__hinders,s__BinaryPredicate)
|
Merge.kif 4501-4501 | hinders is an instance of binary predicate |
| s__instance(s__hinders,s__PartialValuedRelation)
|
Merge.kif 4502-4502 | hinders is an instance of partial valued relation |
| s__domain(s__hinders,n__1,s__Process)
|
Merge.kif 4503-4503 | The number 1 argument of hinders is an instance of process |
| s__domainSubclass(s__hinders,n__2,s__Process)
|
Merge.kif 4504-4504 | The number 2 argument of hinders is a subclass of process |
| s__relatedInternalConcept(s__hinders,s__hindersSubclass)
|
Merge.kif 4505-4505 | hinders is internally related to hinders subclass |
| s__documentation(s__hinders, s__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 |
|
|
| s__relatedInternalConcept(s__prevents,s__hinders)
|
Merge.kif 4483-4483 | prevents is internally related to hinders |
| s__format(s__EnglishLanguage, s__hinders, "%1 hinders %2") | domainEnglishFormat.kif 3626-3626 | prevents is internally related to hinders |
| s__format(s__ChineseTraditionalLanguage, s__hinders, "%1 hinders %2 ") | domainEnglishFormat.kif 3627-3627 | prevents is internally related to hinders |
| s__format(s__ChineseLanguage, s__hinders, "%1 hinders %2 ") | domainEnglishFormat.kif 3628-3628 | prevents is internally related to hinders |
| s__termFormat(s__EnglishLanguage, s__hinders, "hinders") | domainEnglishFormat.kif 65867-65867 | prevents is internally related to hinders |
| antecedent |
|
|
| ! [V__PROC : $i,V__X : $i] : ((s__hinders(V__X, V__PROC) => ( ? [V__L:$i, V__T:$i] : (s__decreasesLikelihood((s__WhenFn(V__X) = V__T & s__eventLocated(V__X, V__L)), s__holdsDuring(V__T, ( ? [V__Y:$i] : ((s__instance(V__Y, V__PROC) & s__eventLocated(V__Y, V__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 |
|
|
| ! [V__X : $i] : ((s__instance(V__X, s__Protecting) => s__hasPurpose(V__X, ( ? [V__OBJ:$i, V__T:$i, V__H:$i, V__HARM:$i] : ((s__instance(V__OBJ, s__Object) & s__patient(V__X, s__Object) & s__subclass(V__HARM, s__KappaFn(V__H, ((s__instance(V__H, s__CriminalAction) | s__instance(V__H, s__Damaging)) & (s__holdsDuring(V__T, s__patient(V__H, V__OBJ)) => ~(s__holdsDuring(V__T, s__patient(V__X, V__OBJ))))))) & (s__prevents(V__X, V__HARM) | s__hinders(V__X, V__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 |
| ! [V__X : $i] : ((s__instance(V__X, s__AutoAirbag) => s__hasPurpose(V__X, ( ? [V__CAR:$i, V__PERSON:$i, V__IMP:$i, V__INF:$i, V__INJ:$i, V__HIT:$i] : ((s__instance(V__CAR, s__Automobile) & s__part(V__X, V__CAR) & s__instance(V__PERSON, s__Human) & s__contains(V__CAR, V__PERSON) & s__instance(V__IMP, s__Impacting) & s__patient(V__IMP, V__CAR) & s__instance(V__INF, s__Inflating) & s__patient(V__INF, V__X) & s__causes(V__IMP, V__INF) & s__hinders(V__INF, s__KappaFn(V__INJ, (s__instance(V__INJ, s__Injuring) & s__experiencer(V__INJ, V__PERSON) & ( ? [V__HIT:$i] : ((s__instance(V__HIT, s__Impacting) & s__destination(V__HIT, V__CAR) & s__experiencer(V__HIT, V__PERSON) & s__causes(V__HIT, V__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 |
|