| AutoAirbag(airbag) | | air_bag |
| appearance as argument number 1 |
|
|
| (subclass AutoAirbag VehicleSafetyDevice) | Cars.kif 3702-3702 | Airbag is a subclass of vehicle safety device |
| (subclass AutoAirbag Balloon) | Cars.kif 3703-3703 | Airbag is a subclass of balloon |
| (documentation AutoAirbag EnglishLanguage "Sensors that detect a sudden Decelerating deploy the airbag by an explosive release of a Gas that fills the bag before the occupant can be thrown against the hard interior surfaces of the Vehicle.") | Cars.kif 3705-3707 | Airbag is a subclass of balloon |
| (typicallyContainsPart AutoAirbag Automobile) | Cars.kif 3708-3708 | A automobile typically has a part airbag |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutoAirbag "airbag") | Cars.kif 3704-3704 |
| antecedent |
|
|
| (=> (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 3710-3734 | 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 |
|
|
|