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