| Inflating | |
| appearance as argument number 1 |
|
|
| (documentation Inflating EnglishLanguage "Any Process where a Balloon is filled with a Gas.") | Cars.kif 3663-3664 | |
| (subclass Inflating Increasing) | Cars.kif 3661-3661 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Inflating "inflating") | Cars.kif 3662-3662 |
| antecedent |
|
|
| (=> (instance ?I Inflating) (exists (?G1 ?G2 ?V1 ?V2 ?S ?U) (and (instance ?G1 ?S) (instance ?G2 ?S) (instance ?S Substance) (attribute ?G1 Gas) (attribute ?G2 Gas) (instance ?U UnitOfVolume) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (measure ?G1 (MeasureFn ?V1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (measure ?G2 (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1)))) |
Cars.kif 3666-3682 |
| 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 3692-3716 |
|
|
|