BleedingAir
|
|
appearance as argument number 1 |
(documentation BleedingAir EnglishLanguage "The process of removing fluid under pressure to locate and remove pockets of Air. This is done typically in hydraulic applications since air is compressible, and therefore undesirable in a hydraulic line.") | Cars.kif 1515-1517 | |
(subclass BleedingAir LiquidMotion) | Cars.kif 1512-1512 | Bleeding air is a subclass of liquid motion |
(subclass BleedingAir Removing) | Cars.kif 1513-1513 | Bleeding air is a subclass of removing |
appearance as argument number 2 |
(termFormat EnglishLanguage BleedingAir "bleeding air") | Cars.kif 1514-1514 |
antecedent |
(=> (instance ?BA BleedingAir) (hasPurpose ?BA (exists (?FC ?A) (and (instance ?FC FluidContainer) (instance ?A Air) (holdsDuring (ImmediatePastFn ?BA) (contains ?FC ?A)) (holdsDuring (ImmediateFutureFn ?BA) (not (contains ?FC ?A))))))) |
Cars.kif 1519-1529 |
|
consequent |
(=> (instance ?BV BleederValve) (hasPurpose ?BV (exists (?B) (and (instance ?B BleedingAir) (instrument ?B ?BV))))) |
Cars.kif 1556-1562 |
|