![]() |
![]() ![]() ![]()
|
![]() |
|
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 は LiquidMotion の subclass では %n |
(subclass BleedingAir Removing) | Cars.kif 1513-1513 | BleedingAir は 除却 の subclass では %n |
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 1551-1557 |
|
![]() |
![]() |