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 | BleedingAir est une sous-classe de LiquidMotion |
(subclass BleedingAir Removing) | Cars.kif 1513-1513 | BleedingAir est une sous-classe de supprimer |
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 |
|