(=>
(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 3607-3631 |
|