hinders
|
|
Sigma KEE - hinders
appearance as argument number 1
|
|
appearance as argument number 2
|
|
antecedent
|
|
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 |
- Wenn Physical ist ein fall von AutoAirbag %n{nicht},
- dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Automobile %n{nicht} und ** Physical ist ein teil von ** entity %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und contains ** entity and ** ** entity und ** ** entity ist ein fall von Impacting %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein fall von Inflating %n{nicht} und ** Physical ist ein patient von ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und hinders ** ** entity and die kategorie die ** ** entity beschreibt %n{nicht}
|
(=>
(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)
|